Tôi có đoạn mã sau:

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;
}

Khi xây dựng điều này với cả gcc 9.2 và clang (9.0), tôi gặp lỗi biên dịch do templatetừ khóa được yêu cầu để gọi fun. Clang cho thấy:

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

Tôi không hiểu tại sao trình biên dịch nghĩ funlà một tên phụ thuộc trong ngữ cảnh f, vì fbản thân nó không phải là một mẫu. Nếu tôi thay đổi Cthành một lớp thông thường thay vì một mẫu, lỗi sẽ biến mất; tuy nhiên, tôi không hiểu tại sao cần có một lỗi ở nơi đầu tiên kể từ khi không phải Svà cũng không fphụ thuộc vào TC.

Thật kỳ lạ, MSVC 19,22 biên dịch điều này chỉ tốt.

Ghi chú

Trước khi bỏ phiếu để đóng dưới dạng dupe của Where và tại sao tôi phải đặt từ khóa "template" và "typename"? vui lòng xem đây là trường hợp đặc biệt, ngay cả khi Sthực sự là một tên phụ thuộc, trong bối cảnh của fnó sẽ không bị phụ thuộc nếu không phải vì thực tế rằng chúng là thành viên của việc khởi tạo hiện tại.

Hãy xem xét :

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)được phân tích cú pháp dưới dạng một biểu thức có chứa hai thao tác so sánh <và >, điều này tốt cho # 1 nhưng không thành công cho # 2.

Nếu điều này được thay đổi thành s.template a<0>(i)# 2 thì OK và # 1 thất bại. Do đó, templatetừ khóa không bao giờ là dư thừa ở đây.

MSVC có khả năng diễn giải biểu thức theo s.a<0>(i)cả hai cách trong cùng một chương trình. Nhưng điều này không đúng theo Tiêu chuẩn; mỗi biểu thức chỉ nên có một phân tích cú pháp để trình biên dịch xử lý.

funcó thể hoặc không thể là một hàm mẫu (hoặc hoàn toàn không tồn tại) tùy thuộc vào tham số mẫu của class C.

Đó là bởi vì bạn có thể chuyên S(không cần chuyên C):

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

Bởi vì trình biên dịch muốn biết có phải funlà một mẫu hay không khi lần đầu tiên nhìn vào class C(trước khi thay thế tham số mẫu), templatelà bắt buộc.