g++ 在哪里？ （使用 -fno-implicit-templates）如果我没有显式实例化它们，可以从中获取模板定义吗？

Question

以下代码有效。

/* hello.cc */

#include <iostream>
#include <vector>

void vec_print()
{
    std::vector<int> is(10, 1);

    for (size_t i = 0; i < is.size(); ++i)
        std::cout << is[i] << " ";
    std::cout << std::endl;
}

/* main.cc */

void vec_print();

int main()
{
    vec_print();
}

当我遵守这个规定时，

g++ -fno-implicit-templates -Wall -Wextra -c hello.cc
g++ -fno-implicit-templates -Wall -Wextra -c main.cc
g++ hello.o main.o -o hello

我没有收到任何警告，并且它编译并运行良好。我的印象是这不应该发生。我正在使用 gcc 4.4.5。

Answer 1

该选项不会阻止所有模板实例化，只是阻止非内联实例化：

-fno-隐式模板
切勿为隐式实例化（即通过使用）的非内联模板发出代码；只发出显式实例化的代码。有关更多信息，请参阅模板实例化。

编译器内联代码中使用的所有 vector 成员函数，因此编译成功。

使用该选项编译时，以下内容将失败，因为它需要非内联实例化：

#include <vector>

int main()
{
    auto f = &std::vector<int>::resize;
}

Answer 2

根据手册页：

   -fno-implicit-templates
       Never emit code for non-inline templates which are instantiated implicitly (i.e. by use); only emit code for explicit instantiations.

现在，在您的示例中，您正在实例化类型，然后调用在类模板定义中定义的方法，因此隐式内联。

你可以试试这个：

template <typename T>
void noop( T const & ) {}
int main() {
   noop(1);
}

然后用 g++ -fno-implicit-templates -o test test.cpp 进行编译