C++constexpr计数构造函数调用

C++ constexpr count constructor calls

本文关键字：函数调用 C++constexpr      更新时间：2023-10-16

我试图在编译时静态实例化一些对象。我需要的是为成员int变量设置一个递增的值。例如，我创建的第一个对象的值为0，第二个为1，第三个为2。。。总之，我需要这样的东西，但它必须作为constexpr工作。

//header
class MyClass final {
private:
    static int IDcount;
public:
    const int ID;
    constexpr MyClass(args);
    //~MyClass();
};
//source
int MyClass::IDcount = 0;
constexpr MyClass::MyClass(args) : ID(MyClass::IDcount++) {
}

有没有一种方法可以在编译时实现这一点（不将ID作为构造函数的参数）

它不能按照您定义的方式完成，但可以采用一种非标准但广泛实现的预处理器技巧。

#include <iostream>
struct MyClass final {
    constexpr MyClass(int myid, const char *myname)
        : id(myid), name(myname) {}
    int id;
    const char *name;
};
constexpr MyClass m[]{ 
    MyClass(__COUNTER__, "Larry"),
    MyClass(__COUNTER__, "Moe"),
    MyClass(__COUNTER__, "Curly")
};
int main()
{
    for (auto const &obj : m)
        std::cout << obj.id << 't' << obj.name << "n";
}

__COUNTER__宏是在Microsoft的Visual C++、gcc中定义的，自4.3版和clang开始。

运行时，此程序会生成：

0   Larry
1   Moe
2   Curly

constexpr-函数或ctor必须是至少一个路径上的有效核心常量表达式：

7.1.5 constexpr说明符[dcl.constexpr]

5对于非模板、非默认的constexpr函数或非模板、无默认、无继承的constexpr构造函数，如果不存在参数值，从而调用该函数或构造函数可以是核心常量表达式的求值子表达式（5.19），则程序格式错误；无需诊断。

这意味着它不能在所有路径上修改全局对象：

5.19常数表达式[expr.const]

  1. 条件表达式e是核心常量表达式，除非根据抽象机（1.9）的规则对e的求值将求值以下表达式之一：

    • 修改对象（5.17、5.2.6、5.3.2），除非将其应用于文字类型的非易失性左值其是指其寿命在CCD_ 9的评估内开始的非易失性对象
相关文章：