0Pricing
C++ Academy · บทเรียน

เหตุใดจึงใช้ Concepts แทน SFINAE

เปรียบเทียบความอ่านง่ายของ concepts กับเทคนิค SFINAE แบบดั้งเดิม

เหตุใดจึงใช้ Concepts แทน SFINAE เป็นบทเรียน C++ Academy ฟรีบน CoddyKit นี่คือบทเรียนที่ 1 จากทั้งหมด 4 บทเรียน คุณสามารถอ่านบทเรียนทั้งหมดด้านล่างฟรี — จากนั้นลองปฏิบัติด้วยตัวคุณเองในเบราว์เซอร์พร้อมตัวแก้ไขโค้ดในตัวและติวเตอร์ AI ตลอด 24/7 บทเรียนนี้เป็นส่วนหนึ่งของเส้นทางการเรียน C++ Academy และความก้าวหน้าของคุณจะซิงค์ข้ามเว็บและแอป CoddyKit คอร์ส C++ Academy มีบทเรียนทั้งหมด 4 บทเรียน

ยุคของ SFINAE

ก่อน C++20 การจำกัดเทมเพลตจำเป็นต้องใช้ SFINAE (การแทนที่ล้มเหลวไม่ถือเป็นข้อผิดพลาด) วิธีนี้ใช้งานได้ แต่ทำให้เกิดข้อผิดพลาดที่เข้าใจยากและโค้ดที่ยืดยาว

ตัวอย่าง SFINAE

การจำกัดเทมเพลตฟังก์ชันให้ใช้ได้เฉพาะชนิดข้อมูลเลขคณิต — ก่อน C++20

template <typename T,
          typename = std::enable_if_t<std::is_arithmetic_v<T>>>
T double_it(T x) {
    return x * 2;
}

ปัญหาของ SFINAE

ปัญหา:

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

แนวคิด: ทางออกที่สะอาดกว่า

แนวคิดของ C++20 แสดงข้อจำกัดได้โดยตรง โค้ดสะอาด อ่านง่ายกว่า และมีข้อความข้อผิดพลาดที่ดีกว่ามาก

#include <concepts>

template <std::integral T>
T double_it(T x) {
    return x * 2;
}

แนวคิดที่มีมาให้ในตัว

ไลบรารีมาตรฐานมีแนวคิดจำนวนมากใน <concepts>:

  • std::integral
  • std::floating_point
  • std::same_as
  • std::convertible_to
  • std::invocable

ข้อความข้อผิดพลาดที่ปรับปรุงขึ้น

เมื่อแนวคิดไม่ผ่าน คอมไพเลอร์จะแจ้งว่าข้อกำหนดใดไม่ผ่าน ส่วน SFINAE จะแสดงข้อผิดพลาดจากการแทนที่เป็นจำนวนมาก

แนวคิดในฐานะเอกสารประกอบ

ชื่อแนวคิดสื่อเจตนาได้ เช่น ฟังก์ชันที่จำกัดด้วย std::integral บอกผู้อ่านได้อย่างชัดเจนว่าฟังก์ชันคาดหวังสิ่งใด

การโอเวอร์โหลดฟังก์ชันตามแนวคิด

โอเวอร์โหลดฟังก์ชันตามแนวคิดที่แตกต่างกัน เวอร์ชันที่ตรงกันและมีข้อจำกัดมากที่สุดจะเป็นผู้ชนะ

void f(std::integral auto x)        { /* integers */ }
void f(std::floating_point auto x)  { /* floats */ }

การครอบคลุมของแนวคิด

คอมไพเลอร์เข้าใจได้ว่าแนวคิดหนึ่งมีความเฉพาะเจาะจงกว่าอีกแนวคิดหนึ่งเมื่อใด std::integral ครอบคลุม std::regular ในบางกรณี — การแก้ความกำกวมของโอเวอร์โหลดจะเลือกแบบที่เฉพาะเจาะจงกว่า

การใช้ร่วมกับเทมเพลต

แนวคิดทำงานร่วมกับทั้งเทมเพลตฟังก์ชันและเทมเพลตคลาส

template <std::movable T>
class Buffer { /* ... */ };

เทมเพลตฟังก์ชันแบบย่อ

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

void greet(std::convertible_to<std::string> auto name) {
    std::cout << "Hello, " << name;
}

การย้ายจาก SFINAE

เริ่มนำแนวคิดมาใช้ทีละส่วน แทนที่เทมเพลตที่มีข้อจำกัดด้วย SFINAE ทีละรายการ คอมไพเลอร์จะช่วยด้วยข้อความข้อผิดพลาดที่ชัดเจนขึ้น

ตรวจสอบอย่างรวดเร็ว

ข้อได้เปรียบหลักของแนวคิดใน C++20 เหนือ SFINAE คืออะไร

สรุปทบทวน

แนวคิดแทนที่ SFINAE ด้วยวิธีประกาศข้อจำกัดของเทมเพลตที่สะอาดและชัดเจนกว่า แนวคิดมาตรฐานใน <concepts> ครอบคลุมกรณีทั่วไป ข้อผิดพลาดจะชี้ตรงไปยังข้อกำหนดที่ไม่ผ่าน

คำถามที่พบบ่อย

บทเรียน “เหตุใดจึงใช้ Concepts แทน SFINAE” ฟรีหรือไม่

ใช่ — ข้อความเต็มของ “เหตุใดจึงใช้ Concepts แทน SFINAE” ฟรีให้อ่านที่นี่บนเว็บ เพื่อปฏิบัติแบบโต้ตอบ (ตัวแก้ไขโค้ดในตัวและติวเตอร์ AI ตลอด 24/7) และปลดล็อคส่วนที่เหลือของคอร์ส C++ Academy ให้อัปเกรดเป็น CoddyKit PRO คอร์ส C++ Academy มีบทเรียนทั้งหมด 4 บทเรียน

คุณจะเรียนรู้อะไรในบทเรียน “เหตุใดจึงใช้ Concepts แทน SFINAE”

เปรียบเทียบความอ่านง่ายของ concepts กับเทคนิค SFINAE แบบดั้งเดิม คุณปฏิบัติ C++ Academy ด้วยโค้ดที่ใช้งานได้จริงที่คุณเรียกใช้โดยตรงในเบราว์เซอร์ และติวเตอร์ AI ตลอด 24/7 ตอบคำถามของคุณขณะที่คุณไปผ่านบทเรียน

คุณต้องมีประสบการณ์ก่อนที่จะเริ่มเรียน C++ Academy หรือไม่

ไม่จำเป็นต้องมีประสบการณ์มาก่อน C++ Academy บน CoddyKit ออกแบบมาสำหรับผู้เริ่มต้นไปจนถึงผู้เรียนขั้นสูง คุณสามารถเริ่มต้นที่นี่หรือเริ่มจากตัวแรกและเรียนด้วยความเร็วของคุณเอง นี่คือบทเรียนที่ 1 จากทั้งหมด 4 บทเรียน

บทเรียน “เหตุใดจึงใช้ Concepts แทน SFINAE” ใช้เวลานานแค่ไหน

บทเรียน CoddyKit ส่วนใหญ่ใช้เวลาประมาณ 5–10 นาที แต่ละบทเรียนจึงสั้นและเป็นแบบโต้ตอบ คุณสามารถก้าวหน้าอย่างต่อเนื่องและกลับมาเรียนต่อจากตรงที่เพิ่งหยุดบนเว็บและแอปได้เลย

ฉันเขียนและรันโค้ดในบทเรียน C++ Academy นี้ได้ไหม

ได้ บทเรียน C++ Academy ทุกบทมีตัวแก้ไขโค้ดในตัว คุณจึงเขียนและรันโค้ดจริงได้เลยในเบราว์เซอร์ และได้รับข้อเสนอแนะจาก AI ในทันที — ไม่ต้องติดตั้งในเครื่องของคุณ

บทเรียนทั้งหมดในหลักสูตรนี้

  1. เหตุใดจึงใช้ Concepts แทน SFINAE
  2. การกำหนด Concepts ด้วย requires
  3. การใช้ Concepts ในเทมเพลตและ auto
  4. Concepts มาตรฐานที่ใช้บ่อย: Integral และ Ranges
← กลับไปที่ C++ Academy