9

我正在尝试实现以下内容：

#include <array>
#include <cstdint>

class Class2
{
};

class Class1
{
public:
    static constexpr uint8_t GetMax() { return 5; }
    static constexpr uint8_t GetMin() { return 0; }
    static constexpr uint8_t GetCount() { return GetMax() - GetMin() + 1; }

private:
    std::array<Class2, Class1::GetCount()> m_classes;
};

但由于错误，我无法让它工作：

非类型模板参数不是常量表达式

我正在使用 Xcode 5.0。有任何想法吗？

4

2 回答 2

2

我们在这里遇到的问题在 3.3.7 - 类范围中间接描述：

typedef int c;
enum { i = 1 };

class X {
    char v[i]; // error: i refers to ::i
               // but when reevaluated is X::i
    int f() { return sizeof(c); } // OK: X::c
    char c;
    enum { i = 2 };
};

这一段应该多描述一点（9.2.2）：

在类说明符的结束 } 处，类被认为是完全定义的对象类型（3.9）（或完整类型）。在类成员规范中，类在函数体、默认参数、异常中被认为是完整的规范，以及用于非静态数据成员（包括嵌套类中的此类内容）的大括号或等式初始化器。否则，它在其自己的类成员规范内被视为不完整。

由于函数体、默认参数、异常规范、大括号或等号std::array<Class2, Class1::GetCount()>初始化程序都不是，在这一点上，类被认为是不完整的，所以我认为由编译器决定它是否允许这样做 -但按照标准，不编译代码是可以的。

我能想到的唯一解决方案是您建议的解决方案，或者将 constexprs 移到另一个（可能的基）类中。

于 2013-09-17T17:06:38.197 回答
2

按照 Nemanja Boric 的回答，我将静态方法转换为静态成员。这不是我想要的修复，但它有效。我想剩下的问题是为什么它不起作用？

#include <array>
#include <cstdint>

class Class2
{
};

class Class1
{
public:
    static constexpr uint8_t Max = 5;
    static constexpr uint8_t Min = 0;
    static constexpr uint8_t Count = Max - Min + 1;

private:
    std::array<Class2, Class1::Count> m_classes;
};
于 2013-09-17T12:49:26.607 回答