C：模板专用化导致调试/发布时产生不同的结果

Question

在下面的代码中，我创建了一个Builder模板，并提供了一个不返回任何内容的默认实现。然后我使用int专门化模板，以返回一个值37。

当我使用 -O0 编译时，代码打印 37，这是预期的结果。但是当我使用 -O3 编译时，代码打印 0。

平台是Ubuntu 20.04，GCC 9.3.0

有人能帮我理解一下这种行为吗？

建筑商. h

class Builder {
        public:
                template<typename C>
                static C build() {
                        return 0;
                }
};

builder.cc

#include "builder.h"

template<>
int Builder::build<int>() {
        return 37;
}

main.cc

#include "builder.h"
#include <iostream>

int main() {
        std::cout << Builder::build<int>() << '\n';
}

制作文件

CXX_FLAG = -O0 -g
all:
        g++ $(CXX_FLAG) builder.cc -c -o builder.o
        g++ $(CXX_FLAG) main.cc builder.o -o main
clean:
        rm *.o
        rm main

Answer 1

您应该为＜code＞构建添加正向声明

template<>
int Builder::build<int>();

否则，在编译main.cc时，编译器只能看到泛型模板，并且允许内联泛型build（）函数的实例。如果您添加前置声明，编译器知道您在其他地方提供了专门化，并且不会内联它。

使用 -O3，编译器尝试内联，使用 -O0 它不会内联任何内容，因此不同。

您的代码实际上违反了“一个定义规则”：它将为Builder:：build创建两个定义