อะไรคือจุดในการรู้ว่าวัตถุนั้นเป็นส่วนประกอบหรือไม่หรือเป็นประเภทของชั้นเรียนหรือไม่?

สวัสดีฉันเคยเห็นตัวอย่างมากมายใน Cppreference.com:

std::is_class<T>
std::is_integral

และอื่น ๆ ฉันรู้ว่าถ้าผมเรียกใช้รหัสเช่นฉันจะได้รับหรือtrue falseแต่ประเด็นคืออะไร เช่นรู้ว่าวัตถุเป็นประเภทของชั้นเรียนหรือไม่?

#include <iostream>
#include <type_traits>

struct A {};
class B {};
enum class C {};

int main()
{
    std::cout << std::boolalpha;
    std::cout << std::is_class<A>::value << '\n';
    std::cout << std::is_class<B>::value << '\n';
    std::cout << std::is_class<C>::value << '\n';
    std::cout << std::is_class<int>::value << '\n';
}

ผลลัพธ์:

true
true
false
false

• ฉันได้ค้นหาทั่วสำหรับตัวอย่างจริงโดยใช้นี้ ( is_class, is_integral, is_arithmetic, ... ) แต่ทั้งหมดบทเรียนแสดงเฉพาะตัวอย่างที่สิ้นหวังเท่านั้นหรือtruefalse

• มีใครช่วยฉันด้วยตัวอย่างเล็ก ๆ ที่มีประโยชน์โดยใช้แม่แบบนี้ได้ไหม

มันไม่ได้มีไว้สำหรับเขียนถึงคอนโซลแน่นอน

คุณถามอย่างถี่ถ้วนมากขึ้น: อะไรคือลักษณะของประเภท?

คำตอบคือแม่แบบ metaprogramming ตัวอย่างเช่นฉันสามารถสร้างความเชี่ยวชาญเทมเพลตที่ทำสิ่งหนึ่งสำหรับประเภทอินทิกรัลและอีกประเภทสำหรับประเภทที่ไม่รวม

แอรอน Bullman มีการแนะนำง่ายๆที่จะพิมพ์ลักษณะเช่นเดียวกับ Jacek ที่นี่

ในความคิดของฉันพบว่าการใช้สิ่งเหล่านี้ส่วนใหญ่จะถูกฝังอยู่ภายในการใช้งานคุณสมบัติที่ยอดเยี่ยมและคลาสและยูทิลิตี้ (เช่นในห้องสมุด) เป็นส่วนหนึ่งของเครื่องจักรพื้นหลังที่ทำให้มันทำงานได้ทั้งหมด

อ่านเพิ่มเติม:

• ลักษณะของประเภท C ++
• คลาสของคุณลักษณะต่าง ๆ ทำงานอย่างไรและพวกมันทำอย่างไร?

คำตอบของ rightfold ในตัวอย่างแรกนั้นเป็นตัวอย่างที่ยอดเยี่ยมว่าลักษณะใดมีประโยชน์เมื่อ:

ตัวอย่างเช่นการนำไปใช้std::copyอาจใช้เป็นการstd::memcpyภายในแทนการวนซ้ำอย่างชัดเจนเมื่อตัววนซ้ำเป็นตัวชี้ไปยัง POD สิ่งนี้สามารถทำได้ด้วย SFINAE

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

ตัวอย่างที่เห็นใน cppreference.com (เช่นhttps://en.cppreference.com/w/cpp/types/is_enum ) นั้นเรียบง่ายกว่ามากและแสดงวิธีใช้ลักษณะในแบบที่ไม่ธรรมดา คุณแทบจะไม่เคยใช้คุณสมบัติเหล่านี้โดยตรงในฟังก์ชั่นที่เรียบง่าย (ไม่ใช่ฟังก์ชั่นเทมเพลตหรือคลาส)