g++ 4.2.1：-O 中断到模板化函数的链接

Question

g++ main.c f.c 以下适用于 g++-4.2.1，但
g++ -O3 main.c f.c 会发出警告

/usr/libexec/gcc/powerpc-apple-darwin8/4.2.1/ld: Undefined symbols:
int f<int>(int const*)
collect2: ld returned 1 exit status


// main.c
template <typename T>
int f( const T* A );

int main()
{
    int* A = new int[10];
    int ftemplate = f( A );
}


// f.c
template <typename T>
int f( const T* A )
{   return A[0];
}

int call_f()
{   int* A = new int[10];
    return f( A );  // ok here but not from main()
}

在 macOS 10.4.11 powerpc-apple-darwin8-g++-4.2.1 (GCC) 4.2.1（Apple Inc. build 5564）上， -O2 有效，-O3 无效。
在 macosx 10.7.4 i686-apple-darwin11-llvm-g++-4.2 （来自https://github.com/kennethreitz/osx-gcc-installer），
普通的g++ *.c 有效，g++ -O *.c 给出相同的ld: Undefined symbols 错误。
也许是一个错误 g++ old /usr/bin/ld ？更有可能我做了一些愚蠢的事情......

谁能帮忙，或者看看这是否适用于非 Mac ？谢谢！

Answer 1

除非您为函数调用中使用的参数显式实例化函数模板，否则您必须使函数模板定义对它的调用者可见。

这包括 main 中的调用。

它可能适用于未优化的构建，因为编译器会为隐式函数模板实例化发出一个导出的函数定义符号。 C++ 标准允许编译器忽略这样做，而 GCC 在这里为优化构建执行此操作（可能它只是内联调用，然后定义符号变得未使用）。