为类提供模板如何解决无效的 constexpr 依赖？ C++

Question

类似乎在另一个 constexpr 上下文中调用其 constexpr 成员函数时遇到问题。例如在我提出的这段代码in an earlier question 中可以看到这种行为：

struct Foo {
    constexpr static bool TRUE() {
        return true;
    }
    static_assert(Foo::TRUE(), ""); //ERROR
};

由于static_assert 依赖于Foo::TRUE() 编译失败，因为Foo::TRUE() 在此上下文中尚未完全解析。

---

那么向Foo 添加单个模板如何解决整个问题呢？：

template<int x>
struct Foo {
    constexpr static bool TRUE() {
        return true;
    }
    static_assert(Foo::TRUE(), ""); //compiles fine
};

在所有这些见解之后，这里的代码不应该编译 - 但它可以编译。这似乎没有意义，因为与非模板版本没有任何区别。

另外，TRUE()-functions 和 static_assert-calls 应该总是和 Foo<> 类一样多，所以编译时应该会出现同样的依赖问题。

---

我正在使用 Visual Studio 17 社区版本 15.9.0 - 感谢您的帮助！

Answer 1

这是CWG 1626：

标准应该明确指出，constexpr 成员函数在其类完成之前不能在常量表达式中使用。例如：

template<typename T> struct C {
  template<typename T2> static constexpr bool _S_chk() {
    return false;
  }
  static const bool __value = _S_chk<int>();
}; 

C<double> c;

当前的实现接受这一点，尽管它们拒绝相应的非模板案例：

struct C {
  static constexpr bool _S_chk() { return false; }
  static const bool __value = _S_chk();
};

C c; 

大概模板情况应该和非模板情况处理一致。