我想让一个类C拥有一个类型为C的静态constexpr成员。在C++11中是否可能实现？
尝试1：
struct Foo {
constexpr Foo() {}
static constexpr Foo f = Foo();
};
constexpr Foo Foo::f;
g++ 4.7.0 报错：'invalid use of incomplete type'，指的是对 Foo() 的调用。
尝试2：
struct Foo {
constexpr Foo() {}
static constexpr Foo f;
};
constexpr Foo Foo::f = Foo();
现在问题是类定义中缺少constexpr成员f的初始化器。
尝试3：
struct Foo {
constexpr Foo() {}
static const Foo f;
};
constexpr Foo Foo::f = Foo();
现在g++抱怨Foo::f的重新声明与constexpr不同。
struct Foo {
constexpr Foo() {}
static constexpr Foo f {};
};
这段代码类似于你的Attempt 1，但没有使用类外定义。
然而，由于在静态成员声明/定义时Foo是不完整的，编译器无法检查它是否是字面类型（如§3.9 / 10中定义的），因此拒绝了该代码。
请注意，有这篇C++11之后的文档（N3308），其中讨论了当前标准中constexpr定义的各种问题，并提出了修正建议。特别是，“拟议措辞”部分建议修改§3.9 / 10，意味着包含不完整类型作为字面类型之一。如果该修正案被接受并列入未来版本的标准，则可以解决您的问题。
constexpr，则变量的重新声明必须是constexpr。标准最接近这个规则的地方在[dcl.constexpr](7.1.5)/1_中：
Clang对如果函数或函数模板的任何声明具有
constexpr说明符，则其所有声明都应包含constexpr说明符。
constexpr的实现接受了你的第三次尝试。const而不是constexpr，对吗？ - Ben Voigtconstexpr的，因为在定义中指定了constexpr。标准的相关部分是5.19/2：“可以将lvalue-to-rvalue转换[应用于]引用非易失性对象的文字类型的非易失性glvalue *定义为constexpr*”。 - Richard Smithconstexpr排除在签名匹配之外，这是必要的。 - Ben Voigtconstexpr将const添加到类型中，但它本身不是类型的一部分。 - Richard Smith关于Richard Smith的回答的更新，第三次尝试现在可以在GCC 4.9和5.1以及clang 3.4上编译。
struct Foo {
std::size_t v;
constexpr Foo() : v(){}
static const Foo f;
};
constexpr const Foo Foo::f = Foo();
std::array<int, Foo::f.v> a;
template < class T >
struct Foo {
T v;
constexpr Foo() : v(){}
static const Foo f;
};
template < class T >
constexpr const Foo<T> Foo<T>::f = Foo();
std::array<int, Foo<std::size_t>::f.v> a; // gcc ok, clang complains
Clang 错误:
error: non-type template argument is not a constant expression
std::array<int, Foo<std::size_t>::f.v> a;
^~~~~~~~~~~~~~~~~~~~~
Foo :: f 的定义标记为inline。最小示例可使用g++ --std=c++17编译：
foo.hpp
#ifndef __FOO_HPP
#define __FOO_HPP
struct Foo
{
constexpr Foo() {}
static const Foo f;
};
inline constexpr Foo Foo::f = Foo();
#endif
foo.cpp
#include "foo.h"
main.cpp
#include "foo.h"
int main(int, char **) { return 0; }
/std:c++17 一样。 - Daniel McLaury#define __FOO_HPP 会引发未定义的行为，因为您不允许在符号中使用双下划线（同样适用于前导下划线后跟大写字母）。https://en.cppreference.com/w/cpp/language/identifiers （我99.9％确定这也适用于宏名称。） - Ben如果你像我一样，试图制作类似于enum的类，我最好想到的方法是使用CRTP将行为放入基类中，然后派生类是存在的“真实”类，仅具有“枚举器”类似的值作为static constexpr inline Base成员。这意味着Foo::yes不是Foo类型，但它的行为像Foo并且可以隐式转换为Foo，所以它看起来非常接近。https://godbolt.org/z/rTEdKxE3h
template <class Derived>
class StrongBoolBase {
public:
explicit constexpr StrongBoolBase() noexcept : m_val{false} {}
explicit constexpr StrongBoolBase(bool val) noexcept : m_val{val} {}
[[nodiscard]] constexpr explicit operator bool() const noexcept { return m_val; }
[[nodiscard]] constexpr auto operator<=>(const StrongBoolBase&) const noexcept = default;
[[nodiscard]] constexpr auto operator not() const noexcept {
return StrongBoolBase{not this->asBool()};
}
[[nodiscard]] constexpr bool asBool() const noexcept {
return m_val;
}
private:
bool m_val;
};
template <class Tag>
class StrongBool : public StrongBoolBase<StrongBool<Tag>> {
using Base = StrongBoolBase<StrongBool<Tag>>;
public:
//////// This is the interesting part: yes and no aren't StrongBool:
inline static constexpr auto yes = Base{true};
inline static constexpr auto no = Base{false};
using Base::Base;
constexpr StrongBool(Base b) noexcept : Base{b} {}
};
decltype(Foo::yes)，就好像它是一个Foo一样。enum一样是相同类型。 - Ben
static const与不完整类型的使用方式不一致。我想现在只能暂时使用static const了！ - Matt Clarkson