要約

この投稿全体を読もうとする前に、次の点に注意してください。

1. 提示された問題に対する解決策自分で見つけたしかし、私はまだその分析が正しいかどうかを知りたいと思っています。
2. fameta::counter私は、残りのいくつかの問題を解決するクラスにソリューションをパッケージ化しました。githubで見つけてください;
3. で見ることができますゴッドボルトに取り組む。

すべてはこうして始まった

フィリップ・ロゼーンが2015年に黒魔術を発見/発明して以来、フレンドインジェクションによるコンパイル時カウンタはC++にあります、私はこのデバイスに少し夢中になっているので、CWG機能性を犠牲にしなければならないと決心した私はがっかりしましたが、説得力のある使用例をいくつか示すことで彼らの考えが変わるかもしれないとまだ期待していました。

それから、数年前にもう一度このことを調べてみることにしたのです。ユーバースイッチesネストできる - 興味深い使用例だと思う - しかし、それはもう機能しないだろう利用可能なコンパイラの新しいバージョンでは、2118号（そしてまだ) が開いている状態の場合: コードはコンパイルされますが、カウンターは増加しません。

問題は報告されていますロザンのウェブサイトそして最近はstackoverflowでも:C++ はコンパイル時のカウンターをサポートしていますか?

数日前、私は再び問題に取り組もうと決心した。

私は、まだ有効に思える C++ が動作しなくなった原因となったコンパイラーの変更点を理解したかったのです。そのために、インターネットでこの件について話している人がいないかと広く遠くまで検索しましたが、見つかりませんでした。そこで、実験を始めていくつかの結論に至りました。ここで、私よりも知識のある方からのフィードバックを期待して、その結論を発表します。

以下に、わかりやすくするために、ロゼーンの元のコードを示します。動作の説明については、彼のウェブサイトを参照してください:

template<int N>
struct flag {
  friend constexpr int adl_flag (flag<N>);
};

template<int N>
struct writer {
  friend constexpr int adl_flag (flag<N>) {
    return N;
  }

  static constexpr int value = N;
};

template<int N, int = adl_flag (flag<N> {})>
int constexpr reader (int, flag<N>) {
  return N;
}

template<int N>
int constexpr reader (float, flag<N>, int R = reader (0, flag<N-1> {})) {
  return R;
}

int constexpr reader (float, flag<0>) {
  return 0;
}

template<int N = 1>
int constexpr next (int R = writer<reader (0, flag<32> {}) + N>::value) {
  return R;
}

int main () {
  constexpr int a = next ();
  constexpr int b = next ();
  constexpr int c = next ();

  static_assert (a == 1 && b == a+1 && c == b+1, "try again");
}

template <int N>
struct slot;

template <int N>
struct slot {
    friend constexpr auto counter(slot<N>);
};

template <>
struct slot<0> {
    friend constexpr auto counter(slot<0>) {
        return 0;
    }
};

template <int N, int I>
struct writer {
    friend constexpr auto counter(slot<N>) {
        return I;
    }

    static constexpr int value = I-1;
};

template <int N, typename = decltype(counter(slot<N>()))>
constexpr int reader(int, slot<N>, int R = counter(slot<N>())) {
    return R;
};

template <int N>
constexpr int reader(float, slot<N>, int R = reader(0, slot<N-1>())) {
    return R;
};

template <int N>
constexpr int next(int R = writer<N, reader(0, slot<N>())+1>::value) {
    return R;
}

int a = next<11>();
int b = next<34>();
int c = next<57>();
int d = next<80>();

int test1 = counter(slot<11>());
int test2 = writer<11,0>::value;