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＆＃39;回答更多细节。

如果你真的想要实例化（而不是专门化或什么）函数，请执行以下操作：

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

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

3 个答案: