如何显式实例化模板函数？

Question

我有一个带有一个参数的模板函数.我必须实例化该函数而不调用该函数意味着我必须实例化.

我有这个功能:

template <class T> int function_name(T a) {}

我实例化了这样的函数:

template int function_name<int>(int);

但是我遇到了以下错误:

error: expected primary-expression before 'template'
error: expected `;' before 'template'

Answer 1

[编辑2]:请注意,由于代码格式问题,原始问题中的代码存在一些混淆.有关详细信息,请参阅AnthonyHatchkins的回答.

如果你真的想要实例化(而不是specialize或其他)函数,请执行以下操作:

template <typename T> void func(T param) {} // definition

template void func<int>(int param); // explicit instantiation.

[编辑]关于显式实例化和专业化似乎存在(很多)混淆.我上面发布的代码处理显式实例化.专业化的语法是不同的.以下是专业化的语法:

template <typename T> void func(T param) {} // definition

template <> void func<int>(int param) {} // specialization

注意模板后的尖括号!

Answer 2

你的代码是正确的.

错误消息与代码中您未在此处引用的位置有关.

更新:

原始代码是

template <class T> int function_name(T a) {}
template int function_name<int>(int);

这是正确的.

但它没有被引用,因此看起来像这样:

template int function_name(T a) {}
template int function_name(int);

它会生成以下错误

a.cpp:1: error: explicit instantiation of non-template ‘int function_name’
a.cpp:1: error: expected `;' before ‘(’ token
a.cpp:3: error: ‘function_name’ is not a template function

这与OP引用的明显不同.

在这个变体中第二行是ok(<int>这里可以省略),但第一行是错误的.编译器无法猜测这T是一个模板参数.

Answer 3

当我们想要分割cpp/hpp文件时，这可能对实例化模板方法有帮助。

// foo.hpp

struct Foo
{
    template<typename T>
    void myMethod(T var);
};

// foo.cpp
#include <typeinfo>
#include <iostream>

template void Foo::myMethod(int var);

template void Foo::myMethod(double var);

template <typename T>
void Foo::myMethod(T var)
{
    std::cout << typeid(T).name() << " - " << var << std::endl;
}

例子：

    Foo foo;
    foo.myMethod(1);
    foo.myMethod(2.0);
    
    // undefined reference to `void Foo::myMethod(float)'
    // foo.myMethod(2.0F); <-- doesn't work as we don't have definition

OUT:
i - 1
d - 2

您可以在这里播放： https: //onlinegdb.com/gwAjMF9QH