在stackoverflow上找到了我的许多问题的答案之后，我现在遇到了一个我找不到答案的问题，我希望有人愿意帮助我！
我的问题是我想在 C++ 的类中对函数进行显式模板化。我的编译器 (g++) 和 C++ 标准 (§14.7.3) 告诉我，必须在声明类的命名空间中完成这种特化。我知道这意味着我不能将专业化放在课堂上，但我看不出这个限制的意义！有谁知道是否有充分的理由不让专业化在课堂内进行？
我知道有一些解决方法，例如将函数放在结构中，但我想了解为什么该语言有这种设计。如果有充分的理由不允许在类中使用专门的函数，我想在尝试解决它之前我应该知道它。
提前致谢！
为了让我的问题更准确一点：这是一个测试示例中的一些代码，它说明了我想要做什么：
#include <cstdio>
namespace MalinTester {
template <size_t DIMENSIONALITY>
class SpecializationTest {
public:
SpecializationTest() {
privateVariable = 5;
};
virtual ~SpecializationTest() {};
void execute() {
execute<DIMENSIONALITY>();
};
private:
int privateVariable;
template <size_t currentDim>
static void execute() {
printf("This is the general case. Current dim is %d. The private variable is %d.\n", currentDim, privateVariable);
execute<currentDim-1>();
}
template <>
static void execute<0>() {
printf("This is the base case. Current dim is 0.\n");
}
};
这是不可能的; g++ 说：
SpecializationTest_fcn.h:27: error: explicit specialization in non-namespace scope ‘class MalinTester::SpecializationTest<DIMENSIONALITY>’
SpecializationTest_fcn.h:28: error: template-id ‘execute<0>’ in declaration of primary template
如果我将函数执行在类之外，在命名空间 MalinTester 中，它将如下所示：
#include <cstdio>
namespace MalinTester {
template <size_t DIMENSIONALITY> class SpecializationTest {};
template <size_t currentDim>
void execute() {
printf("This is the general case. Current dim is %d. The private variable is %d.\n", currentDim, privateVariable);
execute<currentDim-1>();
}
template <>
void execute<0>() {
printf("This is the base case. Current dim is 0.\n");
}
template <size_t DIMENSIONALITY>
class SpecializationTest {
public:
SpecializationTest() {};
virtual ~SpecializationTest() {};
void execute() {
MalinTester::execute<DIMENSIONALITY>();
};
private:
int privateVariable = 5;
};
};
};
而且我不能在执行的模板化版本中使用私有变量，因为它在类中是私有的。我真的希望它是私有的，因为我希望尽可能地封装我的数据。
当然，我可以将 privateVariable 作为参数发送给函数，但我认为避免这种情况会更漂亮，我真正想知道的是 C++ 标准是否有充分的理由不允许像第一个那样显式特化上面的代码示例。
@Arne Mertz：这是我尝试过的解决方法，但它也不允许使用 privateVariable。最重要的是，我想知道这样做是否是个好主意。由于我不允许对成员函数进行特化，也许我也不应该对封装在类内部结构中的函数进行特化。
#include <cstdio>
namespace MalinTester {
template <size_t DIMENSIONALITY>
class SpecializationTest {
public:
SpecializationTest() {
privateVariable = 5;
};
virtual ~SpecializationTest() {};
void execute() {
Loop<DIMENSIONALITY, 0>::execute();
};
private:
int privateVariable;
template <size_t currentDim, size_t DUMMY>
struct Loop {
static void execute() {
printf("This is the general case. Current dim is %d.\n", currentDim);
Loop<currentDim-1, 0>::execute();
}
};
template <size_t DUMMY>
struct Loop<0, DUMMY> {
static void execute() {
printf("This is the base case. Current dim is 0.\n");
}
};
};
};