C# と VB.NET の質問掲示板

{0,1,2,3,4} と書いちゃうとあたかも配列を生成してるように見えるけどそうぢゃなくて
最終的には可変長 template (variadic templates) に展開されているわけです。
可変長 template の説明すると長くなっちゃうけど要は末尾再帰。

最終的には「ソースコード上に式を列挙した」ものになると考えていい。

#include <iostream>
#include <utility>

void g(int x, int y, int z) {
    std::cout << "x=" << x << " y=" << y << " z=" << z << std::endl;
}

template<typename T, T... seq>
void f(std::integer_sequence<T, seq...>) {
    g(seq...);
}

int main() {
    auto x = std::make_integer_sequence<int, 3>();
    f(x);
    std::cout << x.size() << std::endl;
}

上記例題で seq は variadic template なわけですが、この seq がどう扱われるかを簡単に解説すると
g(seq...) の template 展開(実体化)の際に
・先頭要素を１つ展開し、その先頭１個を除去したうえで再帰
・要素が無くなったら展開終了
という約束。

seq には make_integer_sequence によって variadic template として 0 1 2 がコンパイラ内部の作業領域に格納済み
g(seq...) の展開１段階目によって g(0, seq...) になり seq は 1 2 になる
g(seq...) の展開２段階目によって g(0, 1, seq...) になり<中略>
template の展開結果として g(0, 1, 2) なる呼び出しが要求される。
この例では適合する関数があいまいさなく存在するので関数 g() の呼び出しが最終的に生成される

make_integer_sequence<int, 4> だと g(0, 1, 2, 3) なる関数を呼ぼうとするわけで、
引数４つを取る関数 g() があればよし、この例ではないのでエラーってことです。

> コンパイラーはどのタイミングで、どういうわけで
template の実体化タイミングで
variadic template の再帰展開の結果として「式を列挙したかのごとく」振舞う
で、いいかな・・・