У мене є такий код:

template <typename TC>
class C
{
    struct S
    {
        template <typename TS>
        void fun() const
        {}
    };

    void f(const S& s)
    {
        s.fun<int>();
    }
};

// Dummy main function
int main()
{
    return 0;
}

Створюючи це за допомогою gcc 9.2 та clang (9.0), я отримую помилку компіляції через те, що templateключове слово потрібно для виклику fun. Кланг показує:

error: use 'template' keyword to treat 'fun' as a dependent template name
        s.fun<int>();
          ^
          template 

Я не розумію, чому компілятор вважає funзалежне ім'я в контексті f, оскільки fце не сам шаблон. Якщо я заміню Cшаблону став звичайним класом, помилка усувається; однак я не бачу, чому в першу чергу повинна бути помилка, оскільки вона не залежить і Sне fзалежить від неї TC.

Як не дивно, MSVC 19.22 компілює це просто чудово.

Примітка

Перш ніж голосувати, щоб закрити як дупе Де і чому я повинен поставити ключові слова "шаблон" та "Ім'я"? будь ласка, врахуйте, що це особливий випадок, коли навіть якщо Sце дійсно залежне ім'я, в контексті цього fвоно не залежало б, якби не факт, що вони є членами поточної інстанції.

Поміркуйте :

template<typename T>
struct C
{
    struct S
    {
        int a = 99;
    };

    void f(S s, int i)
    {
        s.a<0>(i);
    }
};

template<>
struct C<long>::S
{
    template<int>
    void a(int)
    {}
};

int main()
{
    C<int>{}.f({}, 0); // #1
    C<long>{}.f({}, 0); // #2
}

s.a<0>(i)аналізуються як вираз , що містить дві операцій порівняння <і >, і це нормально для # 1 , але не для # 2.

Якщо це змінено , щоб s.template a<0>(i)потім # 2 ОК і # 1 не вдається. Таким чином, templateключове слово тут ніколи не буває зайвим.

MSVC здатний інтерпретувати вираз s.a<0>(i)обома способами в межах однієї програми. Але це не вірно згідно Стандарту; кожен вираз повинен мати лише один синтаксичний аналіз, з яким компілятор має справу.

funможе або не може бути функцією шаблону (або взагалі не може існувати) залежно від параметра шаблону class C.

Це тому, що ви можете спеціалізуватися S(без спеціалізації C):

template <> struct C<int>::S {};

Оскільки компілятор хоче знати, чи funє шаблон чи ні при першому перегляді class C(перед заміною параметра шаблону) template.