在哪里定义具有模板和非模板成员的类？

Question

我知道模板定义应该全部进入头文件 [1]。但是如果我在一个类中同时有模板和非模板怎么办：

// cls.h
class cls {
public:
    template <typename U> void bar(U x);   // template
    void baz();                            // non-template
    template <typename V> class nest {
    };
};

// foo1.cpp
#include "cls.h" ...

// foo2.cpp
#include "cls.h" ...

理想情况下，我想在同一个文件中定义bar 和baz，因为它们关系密切。

• 但是如果我把所有的实现都放在头文件中，我最终会多重定义baz。
• 如果我将所有实现放入 .cpp，那么 foo1.cpp 或 foo2.cpp 将无法看到 bar 和 nest 的定义。

我是否必须在单独的文件之间拆分 bar 和 baz？

[1] 在使用 NVCC 编译 CUDA 代码的 MSVC++ 上，将模板声明为 inline 似乎对我不起作用。

Answer 1

但是如果我把所有的实现都放在头文件中，我最终会多重定义 baz。

您仍然可以将baz() 的函数定义标记为inline。这将允许您将baz() 的定义放在头文件中，而不会导致多个符号定义错误。

如果我将所有实现放入 .cpp，则 foo1.cpp 或 foo2.cpp 看不到 bar 和 nest 的定义。

如果您事先知道函数模板将使用什么类型进行实例化，则可以在包含函数模板定义的 .cpp 文件中使用显式实例化。

template void cls::bar(int);

如果以上选项都不适合你，那么你将不得不放弃这个要求：

理想情况下，我想在同一个文件中定义 bar 和 baz，因为它们关系密切。

并将成员函数模板的定义放在头文件中，非模板成员函数的定义放在一个.cpp文件中。