ข้อผิดพลาดของเทมเพลตที่สับสน

ฉันเล่นกับเสียงดังมาระยะหนึ่งแล้วและฉันก็สะดุดกับ "test / SemaTemplate / depend-template-recover.cpp" (ในการแจกแจงเสียงดัง) ซึ่งควรให้คำแนะนำในการกู้คืนจากข้อผิดพลาดของเทมเพลต

สิ่งทั้งหมดสามารถถอดออกเป็นตัวอย่างเล็กน้อยได้อย่างง่ายดาย:

template<typename T, typename U, int N> struct X {
    void f(T* t)
    {
        // expected-error{{use 'template' keyword to treat 'f0' as a dependent template name}}
        t->f0<U>();
    }
};

ข้อความแสดงข้อผิดพลาดที่เกิดจากเสียงดังลั่น:

tpl.cpp:6:13: error: use 'template' keyword to treat 'f0' as a dependent template name
         t->f0<U>();
            ^
            template 
1 error generated.

... แต่ฉันมีความเข้าใจยากว่าควรจะแทรกtemplateคีย์เวิร์ดตรงไหนเพื่อให้โค้ดถูกต้องตามหลักไวยากรณ์?

ISO C ++ 03 14.2 / 4:

เมื่อชื่อของความเชี่ยวชาญเทมเพลตสมาชิกปรากฏขึ้นหลัง หรือ -> ใน postfix-expression หรือหลังตัวระบุชื่อที่ซ้อนกันใน ID ที่ผ่านการรับรองและ postfix-expression หรือ qualit-id ขึ้นอยู่กับ template-parameters อย่างชัดเจน (14.6.2) ชื่อเทมเพลตสมาชิกต้องเป็น นำหน้าด้วยแม่แบบคำหลัก มิฉะนั้นชื่อจะถือว่าเป็นชื่อที่ไม่ใช่เทมเพลต

In t->f0<U>(); f0<U>คือความเชี่ยวชาญเทมเพลตสมาชิกซึ่งจะปรากฏขึ้นตามมา->และขึ้นอยู่กับพารามิเตอร์เทมเพลตอย่างชัดเจนUดังนั้นความเชี่ยวชาญเทมเพลตสมาชิกจะต้องนำหน้าด้วยtemplateคำสำคัญ

ดังนั้นเปลี่ยนt->f0<U>()เป็นt->template f0<U>().

นอกเหนือจากประเด็นที่คนอื่นทำโปรดสังเกตว่าบางครั้งคอมไพเลอร์ไม่สามารถตัดสินใจได้และการตีความทั้งสองสามารถให้โปรแกรมอื่นที่ถูกต้องเมื่อสร้างอินสแตนซ์

#include <iostream>

template<typename T>
struct A {
  typedef int R();

  template<typename U>
  static U *f(int) { 
    return 0; 
  }

  static int f() { 
    return 0;
  }
};

template<typename T>
bool g() {
  A<T> a;
  return !(typename A<T>::R*)a.f<int()>(0);
}


int main() {
  std::cout << g<void>() << std::endl;
}

สิ่งนี้จะพิมพ์0เมื่อเว้นไว้templateก่อนหน้าf<int()>แต่1เมื่อใส่เข้าไป ฉันปล่อยให้มันเป็นแบบฝึกหัดเพื่อหาว่าโค้ดทำอะไร

ใส่ไว้ก่อนจุดที่คาเร็ตอยู่:

template<typename T, typename U, int N> struct X {
     void f(T* t)
     {
        t->template f0<U>();
     }
};

แก้ไข: เหตุผลของกฎนี้จะชัดเจนขึ้นหากคุณคิดเหมือนคอมไพเลอร์ โดยทั่วไปคอมไพเลอร์จะมองไปข้างหน้าเพียงหนึ่งหรือสองโทเค็นในครั้งเดียวและโดยทั่วไปจะไม่ "มองไปข้างหน้า" กับส่วนที่เหลือของนิพจน์ [แก้ไข: ดูความคิดเห็น] เหตุผลของคีย์เวิร์ดนั้นเหมือนกับสาเหตุที่คุณต้องใช้typenameคีย์เวิร์ดเพื่อระบุชื่อประเภทที่อ้างอิง: มันกำลังบอกคอมไพเลอร์ว่า "เฮ้ตัวระบุที่คุณกำลังจะเห็นคือชื่อของเทมเพลตแทนที่จะเป็น ชื่อของสมาชิกข้อมูลแบบคงที่ตามด้วยเครื่องหมายน้อยกว่า "

ตัดตอนมาจากเทมเพลต C ++

.template Construct ปัญหาที่คล้ายกันมากถูกค้นพบหลังจากมีการใช้ชื่อพิมพ์ พิจารณาตัวอย่างต่อไปนี้โดยใช้ประเภทบิตเซ็ตมาตรฐาน:

template<int N> 
void printBitset (std::bitset<N> const& bs) 
{ 
    std::cout << bs.template to_string<char,char_traits<char>, 
                                       allocator<char> >(); 
} 

โครงสร้างแปลก ๆ ในตัวอย่างนี้คือ. เทมเพลต หากไม่มีการใช้เทมเพลตเพิ่มเติมคอมไพลเลอร์จะไม่รู้ว่าโทเค็นน้อยกว่า (<) ที่ตามมานั้นไม่ "น้อยกว่า" จริงๆ แต่เป็นจุดเริ่มต้นของรายการอาร์กิวเมนต์เทมเพลต โปรดทราบว่านี่เป็นปัญหาเฉพาะในกรณีที่โครงสร้างก่อนช่วงเวลาขึ้นอยู่กับพารามิเตอร์เทมเพลต ในตัวอย่างของเราพารามิเตอร์ bs ขึ้นอยู่กับพารามิเตอร์เทมเพลต N

สรุปได้ว่าควรใช้สัญกรณ์. template (และสัญกรณ์ที่คล้ายกันเช่น -> template) เฉพาะในเทมเพลตและถ้าเป็นไปตามสิ่งที่ขึ้นอยู่กับพารามิเตอร์ template เท่านั้น