C ++可变参数模板“多个定义”/“已定义”问题[重复]

Question

最近发现了模板，我一直在尝试很好地掌握它们，并遇到了我非常想实现的它们的用法；但是尝试了多种方法后，我不断收到错误。

我正在尝试创建一个可以以任意顺序一次获取多种类型参数的函数。

（我使用的是 VS 2013。）

我现在遇到的是一个“已定义”错误（仅当在多个文件中包含tem.h 时）：

确切的第一个错误（其余的基本相同，只是每个测试..重载？）：

Error 1 error LNK2005: "void __cdecl test<struct A>(struct A *)" (??$test@UA@@$$$V@@YAXPAUA@@@Z) already defined in main.obj c:\Users\User\documents\visual studio 2013\Projects\TemplateTest\TemplateTest\foo.obj TemplateTest

foo 只是一个 .cpp 文件，仅包含：#include "tem.h"

tem.h:

#ifndef TEM_H
#define TEM_H

struct A {};

struct B {};

#include <iostream>

template<typename First, typename... Rest>
void test(First *t, Rest&&... args){
    test(t);
    test(std::forward<Rest>(args)...);
}

template<>
void test<A>(A *val){
    std::cout << "Handled A" << std::endl;
}
template<>
void test<B>(B *val){
    std::cout << "Handled B" << std::endl;
}

#endif

main.cpp:

#include <iostream>
#include "tem.h"

int main(int argc, char *argv[]){
    std::cout << "running test..." << std::endl;
    A a;
    B b;
    test(&a, &b);
    return 0;
}

我错过了什么导致此错误？

编辑： 使每个测试实例内联可以防止错误，但我认为这并不是最好的解决方案

Answer 1

函数模板特化本身不是模板，它们是具有花哨语法的普通函数。与任何其他普通函数一样，它们不应在头文件中定义，除非您使用 inline 关键字。

要么将inline 添加到两个特化中，要么只将它们的声明留在标题中并将定义移动到某个 .cpp 文件中。

主模板定义没问题，应该原封不动地留在表头中。

一般建议是避免函数模板特化。您可以使用普通的非模板重载：

void test (A*);
void test (B*);