การใช้คำหลักแบบอินไลน์กับเทมเพลตมีความหมายหรือไม่?

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

แก้ไข: ฉันต้องการยอมรับทั้งสองคำตอบ แต่ไม่สามารถทำได้ เพื่อปิดปัญหาฉันยอมรับคำตอบของวลีเนื่องจากได้รับการโหวตมากที่สุดและเขาก็ถูกต้องอย่างเป็นทางการ แต่อย่างที่ฉันพูดถึงในความคิดเห็นฉันถือว่าคำตอบของPuppyและComponent 10เป็นคำตอบที่ถูกต้องเช่นกันจากมุมมองที่แตกต่างกัน .

ปัญหาอยู่ในความหมายของ C ++ ซึ่งไม่เข้มงวดในกรณีของinlineคีย์เวิร์ดและอินไลน์ วลีระบุว่า "เขียนอินไลน์ถ้าคุณหมายถึง" แต่ความหมายที่แท้จริงinlineยังไม่ชัดเจนเนื่องจากมีการพัฒนาจากความหมายดั้งเดิมไปเป็นคำสั่งที่ว่า "หยุดคอมไพเลอร์ที่ยุ่งเกี่ยวกับการละเมิด ODR" ตามที่Puppyกล่าว

มันไม่เกี่ยว และไม่ไม่ใช่ทุกเทมเพลตฟังก์ชันจะเป็นinlineค่าเริ่มต้น มาตรฐานนี้มีความชัดเจนแม้กระทั่งในExplicit specialization ([temp.expl.spec])

มีดังต่อไปนี้:

a.cc

#include "tpl.h"

b.cc

#include "tpl.h"

tpl.h (นำมาจาก Explicit Specialization):

#ifndef TPL_H
#define TPL_H
template<class T> void f(T) {}
template<class T> inline T g(T) {}

template<> inline void f<>(int) {} // OK: inline
template<> int g<>(int) {} // error: not inline
#endif

รวบรวมสิ่งนี้ et voila:

g++ a.cc b.cc
/tmp/ccfWLeDX.o: In function `int g<int>(int)':
inlinexx2.cc:(.text+0x0): multiple definition of `int g<int>(int)'
/tmp/ccUa4K20.o:inlinexx.cc:(.text+0x0): first defined here
collect2: ld returned 1 exit status

การไม่ระบุinlineเมื่อทำการสร้างอินสแตนซ์ที่ชัดเจนอาจทำให้เกิดปัญหาได้เช่นกัน

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

หลักทั่วไปที่เสนอ : เขียนinlineว่าคุณหมายถึงหรือไม่และสอดคล้องกัน มันทำให้คุณคิดน้อยลงว่าจะทำหรือไม่เพียงเพราะคุณทำได้ (หลักทั่วไปนี้สอดคล้องกับเทมเพลต C ++ของ Vandevoorde / Josuttis : The Complete Guide )

มันไม่เกี่ยว เทมเพลตทั้งหมดมีอยู่แล้วinline- ไม่ต้องพูดถึงว่าในปี 2012 การใช้inlineคำหลักเพียงอย่างเดียวคือหยุดคอมไพเลอร์ที่บ่นเกี่ยวกับการละเมิด ODR คุณมีความถูกต้อง - คอมไพเลอร์รุ่นปัจจุบันของคุณจะรู้ว่าต้องอินไลน์อะไรด้วยตัวมันเองและอาจทำได้แม้กระทั่งระหว่างหน่วยการแปล

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

การใช้inlineกับเทมเพลตเคยเป็นวิธีการ (ไม่ดี) ในการแก้ไขปัญหาที่แต่ละหน่วยคอมไพล์จะสร้างอ็อบเจ็กต์แยกต่างหากสำหรับคลาสเท็มเพลตเดียวกันซึ่งจะทำให้เกิดปัญหาการทำซ้ำในเวลาลิงก์ ด้วยการใช้inline(ฉันคิดว่า) การทำให้ชื่อแตกต่างออกไปซึ่งจะทำให้เกิดการปะทะกันของชื่อในเวลาเชื่อมโยง แต่ต้องเสียค่าใช้จ่ายของรหัสที่ป่องอย่างมาก  

Marshall Cline อธิบายที่นี่ดีกว่าที่ฉันทำได้