維護ABI：添加構造函數結構

Question

我們在共享庫的版本1的結構體，我們需要保持的ABI：

struct Person 
{ 
    std::string first_name; 
    std::string last_name; 
} 

在第2次修訂，我們正在改變人到這一點：

class Person 
{ 
public: 
    Person(const std::string &f, const std::string &l); 

    std::string first_name; 
    std::string last_name; 
} 

爲了保持源代碼兼容性，我們想改變人的逆轉1，使代碼編譯反對新的頭文件將運行和代碼重新編譯不能運行。

我們可以用兩個新的非內聯的構造函數如下：

class Person 
{ 
public: 
    Person(); 
    Person(const std::string &f, const std::string &l); 

    std::string first_name; 
    std::string last_name; 
} 

我們正在做的這一切都與G ++。在使用nm查看生成的共享庫時，我沒有看到普通結構的構造函數或析構函數，所以我猜測那些沒有重新編譯的代碼只會像前面那樣在調用站點構造Person。任何重新編譯的代碼都將使用無參數構造函數。

我看到的唯一問題是，如果我們需要回滾到沒有構造函數的共享庫的較舊版本，那麼編譯的任何代碼都會中斷，但我並不擔心這種情況。

Answer 1

我認爲它應該工作，假設你明確的默認ctor和以前使用的隱式ctor做的是一樣的事情。在這個簡單的例子。然而，恕我直言很難預測或知道編譯器會做/改變什麼。我不會相信它，我寧願重新編譯圖書館用戶，如果我是你的話。

Answer 2

它可能「有效」，但是您將打破「一個定義規則」，並且就C++標準而言，您將在Undefined Behavior land中關閉，這不是一個好地方。

Answer 3

以下情況如何？

class NewPerson : public Person 
{ 
public: 
    NewPerson(const std::string &f, const std::string &l) 
    { 
     first_name = f; 
     last_name = l; 
    } 
} 

Answer 4

在不破壞二進制兼容性的情況下向類或結構中添加新的非虛函數應該沒問題。這是因爲類函數是以一個隱含的this作爲其第一個參數的普通函數實現的。

但是，如果添加新的虛擬函數，則可能會破壞兼容性，因爲新函數將強制修改vtable，從而可能破壞兼容性。

因此，添加額外的構造函數（永遠不會是虛擬的）不會破壞兼容性。如果你要添加一個虛擬析構函數，你很可能會破壞兼容性。