ฉันมีรหัสต่อไปนี้:

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 และเสียงดังกราว (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มิได้ขึ้นอยู่กับfTC

ผิดปกติพอสมควร 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จำเป็นต้องมี