出于内省的目的,有时我想自动为类型或类似的东西分配序列号.

不幸的是,模板元编程本质上是一种功能语言,因此缺乏实现这种计数器的全局变量或可修改状态.

或者是吗？

按请求的示例代码:

#include <iostream>

int const a = counter_read;
counter_inc;
counter_inc;
counter_inc;
counter_inc;
counter_inc;

int const b = counter_read;

int main() {
    std::cout << a << ' ' << b << '\n'; // print "0 5"

    counter_inc_t();
    counter_inc_t();
    counter_inc_t();

    std::cout << counter_read << '\n'; // print "8"

    struct {
        counter_inc_t d1;
        char x[ counter_read ];
        counter_inc_t d2;
        char y[ counter_read ];
    } ls;

    std::cout << sizeof ls.x << ' ' << sizeof ls.y << '\n'; // print "9 …

TL; 博士

在您尝试阅读整篇文章之前，请了解：

1. 我自己已经找到了解决所提出问题的方法，但我仍然很想知道分析是否正确；
2. 我已将解决方案打包到一个fameta::counter类中，以解决一些剩余的怪癖。你可以在 github 上找到它；
3. 你可以在 Godbolt 上看到它。

一切是如何开始的

自从 Filip Roséen 在 2015 年发现/发明了通过友元注入编译时间计数器的黑魔法是在 C++ 中，我一直对这个设备有点着迷，所以当 CWG决定功能必须去时，我很失望，但仍然充满希望可以通过向他们展示一些引人注目的用例来改变他们的想法。

然后，几年前，我决定再看一遍，以便uberswitch es可以嵌套 - 在我看来，这是一个有趣的用例 - 只是发现它不再适用于新版本的可用的编译器，即使问题 2118是（现在仍然是）处于打开状态：代码会编译，但计数器不会增加。

该问题已在 Roséen 的网站和最近的 stackoverflow 上报告：Does C++ support compile-time counters？

几天前，我决定再次尝试解决这些问题

我想了解编译器发生了什么变化，使看似仍然有效的 C++ 不再起作用。为此，我在互联网上广泛搜索，寻找有人谈论它，但无济于事。所以我开始尝试并得出了一些结论，我在这里提出这些结论是希望能从这里的知识渊博的人那里得到反馈。

为了清楚起见，我在下面展示了 Roséen 的原始代码。有关其工作原理的说明，请参阅他的网站：

template<int N>
struct flag {
  friend constexpr int adl_flag …