维护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，从而可能破坏兼容性。

因此，添加额外的构造函数（永远不会是虚拟的）不会破坏兼容性。如果你要添加一个虚拟析构函数，你很可能会破坏兼容性。