模板类中定义的常量[重复]

Question

可能重复：
GCC problem : using a member of a base class that depends on a template argument

我以为我对 C++ 很熟悉，但显然还不够熟悉。
问题是当您在模板类中定义常量时，您可以在派生自该类的新类中使用该常量，但不能在派生自该类的新 template 类中使用该常量。

例如，gcc 说

test.h:18: 错误：'theconstant' 未在此范围内声明

当我尝试编译这个（简化的）头文件时：

#pragma once

template <typename T> class base
{
  public:
    static const int theconstant = 42;
};

class derive1 : public base<size_t>
{
  public:
    derive1(int arg = theconstant) {}
};

template<typename T> class derive2 : public base<T>
{
  public:
    derive2(int arg = theconstant) {} // this is line 18
};

所以问题是一个类 derive1 编译得很好，但另一个类 derive2 是一个模板特化，却没有。
现在可能 gcc 的错误还不够清楚，但我不明白为什么 derive2 中的构造函数与 derive1 中的构造函数具有不同的范围。
万一这很重要，这发生在头文件本身的编译期间，而不是在实例化 derive2<type> 类型的对象时。

我也知道要进行哪些更改才能编译，所以我并不是真的在寻找单行代码作为答案。我想了解为什么会发生这种情况！我尝试搜索网络，但显然我没有使用正确的搜索参数。

Answer 1

我很确定这会帮助您理解：

您的代码无法编译：

template<typename T> class derive2 : public base<T>
{
  public:
    derive2(int arg = theconstant) {} // this is line 18
};

以及原因：

template <> class base<size_t>
{
  public:
    static const int ha_idonthave_theconstant = 42;
};
derive2<size_t> impossible_isnt_it; 

专业！！！第 18 行的编译器无法确定您不会专门化 base 以使该常量根本不存在。

Answer 2

试试

template<typename T> class derive2 : public base<T>
{
  public:
    derive2(int arg = base<T>::theconstant) {} // this is line 18
};

基本上你已经为“theconstant”指定了不完整的范围。