พารามิเตอร์เทมเพลตที่ไม่ใช่ประเภท

ฉันเข้าใจว่าพารามิเตอร์เทมเพลตที่ไม่ใช่ประเภทควรเป็นนิพจน์อินทิกรัลคงที่ มีใครช่วยส่องทำไมถึงเป็นอย่างนั้น?

template <std::string temp>
void foo()
{
     // ...
}

error C2993: 'std::string' : illegal type for non-type template parameter 'temp'.

ฉันเข้าใจว่านิพจน์ปริพันธ์คงที่คืออะไร อะไรคือสาเหตุที่ไม่อนุญาตประเภทที่ไม่คงที่เช่นstd::stringในตัวอย่างข้างต้น

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

นี่คือสิ่งที่มาตรฐานอนุญาตสำหรับพารามิเตอร์เทมเพลตที่ไม่ใช่ประเภท (14.1 [temp.param] p4):

เทมเพลตพารามิเตอร์ที่ไม่ใช่ประเภทต้องมีหนึ่งในประเภทต่อไปนี้ (เป็นตัวเลือกที่ผ่านการรับรอง cv):

• ประเภทปริพันธ์หรือการแจงนับ
• ตัวชี้ไปที่วัตถุหรือตัวชี้ให้ทำงาน
• lvalue อ้างอิงถึง object หรือ lvalue อ้างอิงถึง function,
• ชี้ไปที่สมาชิก
• std::nullptr_t.

ที่ไม่ได้รับอนุญาต

อย่างไรก็ตามสิ่งนี้ได้รับอนุญาต:

template <std::string * temp> //pointer to object
void f();

template <std::string & temp> //reference to object
void g();

ดู§14.1 / 6,7,8 ใน C ++ Standard (2003)

ภาพประกอบ:

template <std::string * temp> //pointer to object
void f()
{
   cout << *temp << endl;
}

template <std::string & temp> //reference to object
void g()
{
     cout << temp << endl;
     temp += "...appended some string";
}

std::string s; //must not be local as it must have external linkage!

int main() {
        s = "can assign values locally";
        f<&s>();
        g<s>();
        cout << s << endl;
        return 0;
}

เอาท์พุต:

can assign values locally
can assign values locally
can assign values locally...appended some string

คุณต้องสามารถจัดการข้อโต้แย้งของเทมเพลตได้

template <std::string temp>
void f() {
 // ...
}

f<"foo">();
f<"bar">(); // different function!?

ตอนนี้นัยจะต้องสร้างลำดับอักขระที่ไม่ซ้ำกันสำหรับ a std::stringหรือสำหรับเรื่องนั้นคลาสอื่น ๆ ที่ผู้ใช้กำหนดโดยพลการจัดเก็บค่าเฉพาะซึ่งไม่ทราบความหมายของการใช้งาน และนอกจากนี้ค่าของอ็อบเจ็กต์คลาสที่กำหนดเองไม่สามารถคำนวณได้ในเวลาคอมไพล์

มีการวางแผนที่จะพิจารณาอนุญาตประเภทคลาสตามตัวอักษรเป็นประเภทพารามิเตอร์เทมเพลตสำหรับหลัง C ++ 0x ซึ่งเริ่มต้นโดยนิพจน์คงที่ สิ่งเหล่านี้อาจถูกทำให้ยุ่งเหยิงได้โดยให้สมาชิกข้อมูลวนซ้ำตามค่าของมัน (สำหรับคลาสพื้นฐานเช่นเราสามารถใช้ความลึกก่อนการส่งผ่านจากซ้ายไปขวา) แต่แน่นอนว่าจะไม่ได้ผลสำหรับชั้นเรียนโดยพลการ

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

นิพจน์คงที่อยู่ของฟังก์ชันหรืออ็อบเจ็กต์ที่มีการเชื่อมโยงภายนอกหรือแอดเดรสของสมาชิกคลาสแบบคงที่

นอกจากนี้สตริงลิเทอรัลยังเป็นอ็อบเจ็กต์ที่มีการเชื่อมโยงภายในดังนั้นคุณจึงไม่สามารถใช้เป็นอาร์กิวเมนต์ของเทมเพลตได้ คุณไม่สามารถใช้ตัวชี้ส่วนกลางได้เช่นกัน ไม่อนุญาตให้ใช้ตัวอักษรทศนิยมเนื่องจากมีความเป็นไปได้ที่ชัดเจนในการปัดเศษข้อผิดพลาด