ฉันจะสร้างอินสแตนซ์ฟังก์ชันเทมเพลตอย่างชัดเจนได้อย่างไร

ฉันมีฟังก์ชันเทมเพลตที่มีอาร์กิวเมนต์เดียว ฉันต้องสร้างอินสแตนซ์ของฟังก์ชันนั้นโดยไม่เรียกใช้ฟังก์ชันนั้นหมายความว่าฉันต้องสร้างอินสแตนซ์อย่างชัดเจน

ฉันมีฟังก์ชั่นนี้:

template <class T> int function_name(T a) {}

ฉันสร้างอินสแตนซ์ฟังก์ชันนั้นดังนี้:

template int function_name<int>(int);

แต่ฉันได้รับข้อผิดพลาดต่อไปนี้:

error: expected primary-expression before 'template'
error: expected `;' before 'template'

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

หากคุณต้องการสร้างอินสแตนซ์ (แทนที่จะเชี่ยวชาญหรือบางสิ่งบางอย่าง) ให้ทำสิ่งนี้:

template <typename T> void func(T param) {} // definition

template void func<int>(int param); // explicit instantiation.

[แก้ไข] ดูเหมือนจะมีความสับสน (มาก) เกี่ยวกับการสร้างอินสแตนซ์และความเชี่ยวชาญที่ชัดเจน รหัสผมโพสต์ดังกล่าวข้างต้นข้อตกลงกับinstantiation อย่างชัดเจน ไวยากรณ์สำหรับความเชี่ยวชาญแตกต่างกัน นี่คือไวยากรณ์สำหรับความเชี่ยวชาญ:

template <typename T> void func(T param) {} // definition

template <> void func<int>(int param) {} // specialization

สังเกตว่าวงเล็บเหลี่ยมหลังแม่แบบ!

รหัสของคุณถูกต้อง

ข้อความแสดงข้อผิดพลาดเกี่ยวข้องกับตำแหน่งในรหัสที่คุณไม่ได้อ้างถึงที่นี่

ปรับปรุง:

รหัสเดิมคือ

template <class T> int function_name(T a) {}
template int function_name<int>(int);

และถูกต้อง

แต่มันก็ไม่ได้ยกมาและทำให้การมองเช่นนี้

template int function_name(T a) {}
template int function_name(int);

มันสร้างข้อผิดพลาดต่อไปนี้

a.cpp:1: error: explicit instantiation of non-template ‘int function_name’
a.cpp:1: error: expected `;' before ‘(’ token
a.cpp:3: error: ‘function_name’ is not a template function

ซึ่งแตกต่างจากที่ OP อ้างถึงอย่างชัดเจน

ในตัวแปรนี้บรรทัดที่สองใช้ได้ ( <int>สามารถข้ามได้ที่นี่) แต่บรรทัดแรกผิดพลาด คอมไพลเลอร์ไม่สามารถเดาได้ว่าTเป็นพารามิเตอร์เทมเพลต