c++ - 变量模板链接失败

Question

以下代码:

template<typename T>
constexpr T foo { 1.2345 };

template<typename T>
T fun(T x) {
  return -foo<T> * x;
}

int main() {
  fun(2.0);
}

在 Linux 上使用 gcc 版本 5.1.0 编译

g++ gcc-bug.cpp -std=c++14

在链接步骤中失败并显示以下消息:

/tmp/ccuciovi.o: In function `double fun<double>(double)':
gcc-bug.cpp:(.text._Z3funIdET_S0_[_Z3funIdET_S0_]+0xd): undefined reference to `foo<double>'
collect2: error: ld returned 1 exit status

删除一元减号(这改变了代码的含义)，消除了链接错误。前置零(不会改变代码的含义)也可以消除错误。 foo 的以下两个实现导致编译成功:

template<typename T>
T fun(T x) {
  return foo<T> * x; // different meaning
}

template<typename T>
T fun(T x) {
  return 0 - foo<T> * x; // same meaning
}

我没有在其他编译器中观察到这种行为。原始代码(带有一元减号)使用 clang 3.6.0 和 gcc 5.2.0 编译并运行良好。

在我将此作为 gcc 5.1.0 中的错误提交之前，我想听听您对这种行为的看法。

Answer 1

runs fine using ... gcc 5.2.0

可能 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65719