6

以下のコードなのですがtemplateの方の関数でreturn sunto<n - 1>();とありますがそれはtempalte<int n>のほうの関数をまた使ってるのでしょうか。一方template<>のほうはどこで利用されるのでしょうか?template<>関数をコメントにするとint array3のほうでエラーになります。 coutでいつ使われてるか確認しようとしましたがエラーになるので使えませんでした。名前が同じなので混乱しています、解説をお願いしたいです。

template<int n> constexpr int sunto() {
    return n + sunto<n - 1>();
}

template<> constexpr int sunto<0>(){
    //cout << "template<>を使用\n";
    return 0;
}

int array3[sunto<3>()];

int main() {
    size_t t = sizeof(array3);
    for (size_t i = 0; i < t; i++) {
        cout << i<<'\n';
    }
    cout << t;

    _getch();
    return 0;
}
2
  • テンプレートの型引数に使われる < > という記法は Markdown だと HTML として解釈される場合があり、表示から消えてしまうときがあります。このため、次からは行内のコード部分もコードとして装飾して頂けると助かります。今まで同様、コード部分を範囲選択してエディタ上部の {} を押すことで自動的に装飾することができます。よろしくお願いいたします。
    – nekketsuuu
    Commented 2018年9月14日 15:09
  • 1
    オイラの元発言だと sumto で「ここまでの和」なわけですが sunto だとなんのこっちゃ状態ですね。あと sizeof が返すのは要素数ではないので、提示コードはバグっていますよ、要注意
    – 774RR
    Commented 2018年9月16日 21:17

1 件の回答 1

8

まずtemplate<> constexpr int sunto<0>()がない場合のコンパイラの動きを確認してみます。

例えば
sunto<2>();
という式が現れた時、コンパイラはテンプレートのnに2を当てはめて、

int sunto<2>() {
    return 2 + sunto<1>();
}

という関数を生成します(テンプレートの実体化)。生成した関数の中にsunto<1>()があるので、今度は

int sunto<1>() {
    return 1 + sunto<0>();
}

を生成します。今度はsunto<0>()が出来たので、更に

int sunto<0>() {
    return 0 + sunto<-1>();
}

を生成します。今度はsunto<-1>()が出来たので...
という具合に、これはいつまでも無限に続きます。実際には無限に関数を生成することは不可能なので、いつかはメモリ不足か何かでコンパイルが失敗します。これがtemplate<> constexpr int sunto<0>()を消した時のエラーの理由です。


次に

template<> constexpr int sunto<0>(){
    //cout << "template<>を使用\n";
    return 0;
}

があるときのコンパイラの動作を説明します。これはテンプレートの特殊化といい、n==0の時に限って、特別なコードを使うように指示するものです。前と同じように
sunto<2>();
を呼び出すと、n==2n==1の時は、先ほどと同じですが、n==0の時に特殊化されたコードを生成します。つまり

int sunto<2>() {
    return 2 + sunto<1>();
}

int sunto<1>() {
    return 1 + sunto<0>();
}

int sunto<0>(){
    //cout << "template<>を使用\n";
    return 0;
}

というコードが生成され、無事にコンパイルできるようになります。


ちなみにtemplate<> constexpr int sunto<0>()の中でstd::coutを使うとエラーになるのは、constexprがついているからです。constexprがついていると、関数の結果はコンパイル時に決定しなければなりませんが、std::coutは実行時に値を出力するので、コンパイル時には呼び出せません。constexprと矛盾してしまうのでエラーになります。

だからと言って、constexprを取ってしまうと、sunto<>()自体の生成はうまくいきますが、今度は別のところ

int array3[sunto<3>()];

でエラーになってしまいます。配列のサイズは、コンパイル時に分かっていなければなりません。suntoconstexprがついていれば、コンパイル時に計算結果が出せることが保証されるのでコンパイルが通りますが、ついていなければ保証がないのでエラーになります。

この質問に回答するには、ログインする必要があります。