Durum bilgisi olan meta program oluşturuyor (henüz)?

Question

Karşılaştığım en sevgili/kötülük icatlarından biri de, durumsal meta programlama olan constexpr counter. Gönderide de belirtildiği gibi, C++ 14 altında yasal görünüyor ve merak ediyorum C++ 17 ile bir şey değişti mi? Aşağıdaki

ölçüde mesaja

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; 
} 

dayalı bir uygulamasıdır Ve biz use it arada

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"); 

Bu

olarak, Storing States in C++ Metaprogramming?

Answer 1

doğrudan çelişki Bu CWG active issue 2118 olduğu :

Bir şablondaki bir arkadaş işlevinin tanımlanması, daha sonra bu işleve atıfta bulunmak, meta programlama durumunu yakalama ve alma aracı sağlar. Bu teknik, arcane ve kötü biçimlendirilmiş yapılmalıdır. Mayıs

Notlar 2015 toplantısı:

CWG bunları yasaklayan mekanizması henüz belirlenemeyen olmasına rağmen bu tür teknikler, kötü şekillendirilmiş olması gerektiğine karar verdiler.

Yine de etkin bir sorun, en azından şimdilik C++ 17'de hiçbir şey değişmeyecek. Böyle bir yasaklama mekanizması belirlendiği halde, bu geriye dönük olarak bir DR olarak yönetilebilir.