Uma das minhas invenções mais amadas / más que tive a sorte de encontrar é acontador constexpr, também conhecido como metaprogramação com estado. Como mencionado no post, parece legal no C ++ 14, e eu estou pensando que algo mudou com o C ++ 17?

A seguir, uma implementação amplamente baseada no post

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

template <int N>
struct write
{
    friend constexpr int adl_flag(flag<N>) { return N; }
    static constexpr int value = N;
};

template <int N, int = adl_flag(flag<N>{})>
constexpr int read(int, flag<N>, int R = read(0, flag<N + 1>{}))
{
    return R;
}

template <int N>
constexpr int read(float, flag<N>)
{
    return N;
}

template <int N = 0>
constexpr int counter(int R = write<read(0, flag<0>{}) + N>::value)
{
    return R;
}

E nósuse-o Como

static_assert(counter() != counter(), "Your compiler is mad at you"); 

template<int = counter()>
struct S {};

static_assert(!std::is_same_v<S<>, S<>>, "This is ridiculous");

A propósito, isso é uma contradição direta comArmazenando estados na metaprogramação em C ++?