constexprがわけわからないレベルに達している

もうconstexprについていく自信がない。現在、文面にバグがあるので議論されている最中だが、どうも、本来の意図する定義では、以下のようなことができるはずである。

constexpr int f() { return 1 ; }
constexpr int g() { return 2 ; }
constexpr int h() { return 3 ; }

constexpr int (*table[])(void) = { &f, &g, &h } ;

constexpr int call( int i )
{
   return table[i]() ;
}

これは、ジャンプテーブルをコンパイル時に構築して、コンパイル時に実行するコードである。

また、initializer_listを、constexpr対応させようという意見もある。現在、initializer_listは、constexpr対応ではないが、これをconstexpr対応にしようというのだ。

constexpr int f( std::initializer_list<int> list )
{
    return *list.begin() ;
}

int main()
{
    constexpr int value = f( { 1, 2, 3 } ) ; // 1
}

もうついていけそうにない。