在成员函数中使用两个模板的 Class 模板中为成员函数定义单个模板

Question

我目前正在学习模板在 C++ 中的工作原理。特别是，我正在查看 class 模板中的单个成员函数模板。要理解我的意思，请在下面找到代码。

// foo.h
template<typename A>
class foo {
    template<typename B>
    void boo(B);
};

// foo.cpp
template<typename A>
void foo<A>::boo(B value) {} // compiler error: 'Unknown' type name B

// or if I try this

template<typename B>
void foo<A>::boo(B value) {} // compiler error: Use of undeclared identifier A

我正在尝试使用两个类型名称，一个来自 class 模板，一个来自单个文件模板，用于该特定功能。但是在上面的两个版本中，我遇到了编译器错误。我该如何绕过这个问题？

Answer 1

需要两组模板参数来定义member template。

（强调我的）

If the enclosing class declaration is, in turn, a class template, when a member template is defined outside of the class body, it takes two sets of template parameters: one for the enclosing class, and another one for itself:

例如

template<typename A>
template<typename B>
void foo<A>::boo(B value) {}

在成员函数中使用两个模板的 Class 模板中为成员函数定义单个模板

Defining a Single Template for a Member Function within a Class Template with Both Templates Used in Member Function

c++

methods

templates

function-templates

class-template