非型テンプレート引数の挙動のナゾ

Question

前提・実現したいこと

いつも質問ばかりで恐縮しています。
テンプレートクラス内のテンプレートメンバ関数で非型を仮引数に利用しようと思っています。
直接利用するときは，問題なくコンパイルできますが，テンプレートクラス内で利用するときにコンパイルできません。どのようなルールに反しているのでしょうか。解決方法をご存知の方のご教示をお願いできればと思っております。

発生している問題・エラーメッセージ

Reference to overloaded function could not be resolved; did you mean to call it?

該当のソースコード

template<typename T>
struct Foo{
    template<int N>
    static T f(T n){
        return N+n;
    }
};

template<typename T>
struct Boo{
    void b(){
        T ans = Foo<T>::f<2>(3);///　ここでエラーが出る
    }
};
int main(){
    
    int ans = Foo<int>::f<2>(3);//エラーは出ない
    
    Boo<int> boo;
    boo.b();
    return 0;
}

補足情報（FW/ツールのバージョンなど）

clang
C++17

Answer 1

Foo<T>::f<2>(3) のかわりに Foo<T>::template f<2>(3) と書く必要があります。

T の内容が決まらない段階では f が何者であるのかわからないからです。 基本的には変数として解釈しようとするので、テンプレートであるときは template キーワードで、型であるときは typename で明示しなければなりません。

Comments

[jbe00214]

早速ありがとうございます。以前にも同じような問題に悩まされて，そのときもご教示いただき，自分自身の学習効果のなさが情けなく思っております。テンプレートは弱点です。ありがとうございました。