如何解决您可以在不同的翻译单元中使用两个具有相同名称和相同成员函数的类吗?
假设我有两个翻译单位:
//A.cpp
class X
{
};
//B.cpp
class X
{
int i;
};
以上程序的格式是否正确?
如果没有,则没有其他问题。如果答案是肯定的,则程序格式正确(忽略main的缺失),然后是第二个问题。如果其中有一个同名的函数怎么办?
//A.cpp
class X
{
void f(){}
};
//B.cpp
class X
{
int i;
void f(){}
};
对于链接器来说这将是一个问题,因为在两个目标文件中都会看到&X :: f吗?在这种情况下,匿名命名空间是必须的吗?
解决方法
以上程序的格式是否正确?
不。它违反了One-Definition Rule:
[basic.def.odr]
a可以有多个定义
程序中的
- 类类型([class]),
- ...
,前提是每个定义出现在不同的翻译单元中,并且这些定义满足以下要求。 给定在多个翻译单元中定义的这种实体D,对于D的所有定义,或者,如果D是未命名的枚举,对于在任何给定程序点可到达的D的所有定义,应满足以下要求。 / p>
- ...
- 每个这样的定义应由相同的令牌序列组成,其中闭包类型的定义为...
- ...
在这种情况下是否必须要使用匿名名称空间?
如果需要不同的类定义,则它们必须是单独的类型。唯一命名空间是一个选项,匿名命名空间是获得唯一(对于翻译单元)唯一名称空间的保证方法。
,简短版
好吧,不。。。C ++基于以下假设:命名空间中的每个名称都是唯一的。如果您打破该假设,则可以保证0会起作用。
例如,如果您有两个翻译单位(*.o
文件)中具有相同名称的方法。链接程序不会知道给定呼叫使用哪个,因此只会返回一个错误。
长版
...但实际上是!
实际上有很多情况可以让您摆脱同名的类/方法。
请不要在程序中实际使用任何这些技巧!如果编译器认为可以优化最终程序,则可以自由地做很多事情,这样任何假设都可能会破灭。
类是最简单的。让我们上一些只有非静态成员而没有函数的类。这样的事情甚至在编译程序中都没有留下任何痕迹。类/结构只是程序员用来组织数据的工具,因此无需处理内存池和偏移量。 因此,基本上,如果在不同的编译单元中有两个具有相同名称的类,则它应该起作用。编译器完成它们之后,它们将仅包含一些指令,以指示在内存中将指针移动多少以访问特定字段。 这里几乎没有任何东西会使链接器感到困惑。
函数和变量(包括静态类变量)比较棘手,因为编译器经常在*.o
文件中为它们创建符号。如果幸运的话,如果不使用这样的函数/变量,链接器可能会忽略它们,但我什至不会指望它们。
但是,有一些方法可以省略为它们创建符号的方法。静态全局元素或匿名命名空间中的元素在其翻译单元外不可见,因此链接程序不应抱怨它们。而且,内联函数不作为单独的实体存在,因此它们也没有符号,这在这里尤其重要,因为在类内部定义的函数默认是内联的。
如果没有符号,则链接器不会看到冲突,并且所有内容都应编译。
模板还使用了一些肮脏的技巧,因为它们是在使用它们的每个编译单元中按需编译的,但是它们最终在最终程序中只是一个副本。我不认为这与具有相同名称的多个不同事物是相同的情况,所以让我们删除该话题。
总而言之,如果您的类没有静态成员,并且没有在其体外定义函数,则可能有两个名称相同的类,只要您不将它们包含在同一类中即可文件。 但是,这非常脆弱。即使现在可以使用,新版本的编译器也可能会进行一些修复/优化/更改,从而破坏了该程序。 更不用说包含这一事实在大型项目中往往会交织在一起,因此很有可能在某个时候需要将两个文件都包含在同一位置。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。