我的模板专门化不同于调试版本和发布版本，这是gcc错误吗？

Question

首先，我有一个类的头文件，一个没有定义的专业化声明（来自互联网的代码示例）

$ 猫 foo.h

template<typename T>
class foo{
public:
  static void init(){
      return;
  }

};

template<>  void foo<int>::init();

然后有2个模板专业化的实现文件

$ cat foo_int.cpp 
#include "foo.h"
#include<stdio.h>
template<>
void foo<int>::init(){
    printf("init int foo\n");
}

$ cat foo_float.cpp 
#include "foo.h"
#include<stdio.h>
template<>
void foo<float>::init(){
    printf("init float foo\n");
}

最后我得到了一个主文件

$ cat main.cpp
#include "foo.h"

int main(){
  foo<int>::init();
  foo<float>::init();
}

如果我在没有优化的情况下编译并运行它，它会给出:

g foo_ int。cpp foo_ float。cpp main.cpp

如果我添加优化，那么结果是不同的：

$ g foo _ int . CPP foo _ float . CPP main . CPP-O2

结果是不同的。来自互联网的一些解释说，这是由于gcc实现中“弱符号”的一些内部机制，但我的问题：

>

“弱符号”/“强符号”是gcc/g的概念，还是c/c语言规范的一部分。

如果调试和发布结果不同，我应该说这是gcc / g的错误/问题，关于“弱符号”机制？作为开发人员，我不希望我的调试版本与发布版本的行为不同。

我尝试了clang，不幸的是同样的错误。对于调试/发布“应该”行为如此不同的C /C，这是否是一个“可接受”的情况？

Answer 1

您违反了一个定义规则-您的程序包含foo的两个定义

一个定义出现在编译单元foo_float.cpp中，另一个出现在编译单元main.cpp中。

违反一个定义规则意味着未定义的行为——在这种情况下，可能发生的情况是：

• 关闭优化后，程序生成一个实际的函数调用，链接器碰巧将＜code＞foo_。cpp在可执行文件中的函数版本
• 在编译＜code＞main时，启用优化。cpp编译器内联函数-自然，它将内联main。cpp的函数版本

Answer 2

语言定义要求您在使用显式专用化之前声明该专用化：

如果模板、成员模板或类模板的成员是显式专用的，则该专用化应在首次使用该专用化之前声明，该专用化将导致隐式实例化发生，在发生此类使用的每个翻译单元中;无需诊断。[temp.expl.spec]/6.

没有声明＜code＞foo的显式专门化