การกำหนดสมาชิกคงที่ const จำนวนเต็มในนิยามคลาส

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

เหตุใดรหัสต่อไปนี้จึงทำให้ฉันมีข้อผิดพลาดตัวเชื่อมโยง?

#include <algorithm>
#include <iostream>

class test
{
public:
    static const int N = 10;
};

int main()
{
    std::cout << test::N << "\n";
    std::min(9, test::N);
}

ข้อผิดพลาดที่ฉันได้รับคือ:

test.cpp:(.text+0x130): undefined reference to `test::N'
collect2: ld returned 1 exit status

ที่น่าสนใจคือถ้าฉันแสดงความคิดเห็นเกี่ยวกับการเรียกไปที่ std :: min โค้ดจะคอมไพล์และลิงก์ได้ดี (แม้ว่า test :: N จะอ้างอิงในบรรทัดก่อนหน้าด้วย)

มีความคิดว่าเกิดอะไรขึ้น?

คอมไพเลอร์ของฉันคือ gcc 4.4 บน Linux

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

คุณเรียงลำดับถูกต้อง คุณได้รับอนุญาตให้เริ่มต้นอินทิกรัล const แบบคงที่ในการประกาศคลาส แต่นั่นไม่ใช่นิยาม

http://publib.boulder.ibm.com/infocenter/comphelp/v8v101/index.jsp?topic=/com.ibm.xlcpp8a.doc/language/ref/cplr038.htm

ที่น่าสนใจคือถ้าฉันแสดงความคิดเห็นเกี่ยวกับการเรียกไปที่ std :: min โค้ดจะคอมไพล์และลิงก์ได้ดี (แม้ว่า test :: N จะอ้างอิงในบรรทัดก่อนหน้าด้วย)

มีความคิดว่าเกิดอะไรขึ้น?

std :: min ใช้พารามิเตอร์โดยการอ้างอิง const ถ้าเอาตามมูลค่าคุณจะไม่มีปัญหานี้ แต่เนื่องจากคุณต้องการข้อมูลอ้างอิงคุณจึงต้องมีคำจำกัดความด้วย

นี่คือบท / กลอน:

9.4.2 / 4 - หากstaticสมาชิกข้อมูลอยู่ในประเภทconstอินทิกรัลหรือการconstแจงนับการประกาศในนิยามคลาสสามารถระบุค่าคงที่ - ตัวเริ่มต้นซึ่งจะต้องเป็นนิพจน์ค่าคงที่อินทิกรัล (5.19) ในกรณีนั้นสมาชิกสามารถปรากฏในนิพจน์ค่าคงที่อินทิกรัล สมาชิกจะยังคงสามารถที่กำหนดไว้ในขอบเขต namespace ถ้ามันถูกนำมาใช้ในโปรแกรมและความหมายขอบเขต namespace จะได้มีการเริ่มต้น

ดูคำตอบของ Chu สำหรับวิธีแก้ปัญหาที่เป็นไปได้

ตัวอย่างของ Bjarne Stroustrup ในคำถามที่พบบ่อยเกี่ยวกับ C ++ ของเขาแสดงว่าคุณถูกต้องและต้องการคำจำกัดความก็ต่อเมื่อคุณใช้ที่อยู่

class AE {
    // ...
public:
    static const int c6 = 7;
    static const int c7 = 31;
};

const int AE::c7;   // definition

int f()
{
    const int* p1 = &AE::c6;    // error: c6 not an lvalue
    const int* p2 = &AE::c7;    // ok
    // ...
}

เขากล่าวว่า"คุณสามารถใช้ที่อยู่ของสมาชิกคงถ้า (และถ้ามี) ก็มีออกของชั้นความหมาย" ซึ่งชี้ให้เห็นว่ามันจะทำงานเป็นอย่างอื่น บางทีฟังก์ชันขั้นต่ำของคุณอาจเรียกใช้ที่อยู่เบื้องหลัง

อีกวิธีหนึ่งในการทำเช่นนี้สำหรับประเภทจำนวนเต็มคือการกำหนดค่าคงที่เป็น enums ในคลาส:

class test
{
public:
    enum { N = 10 };
};

ไม่ใช่แค่ int แต่คุณไม่สามารถกำหนดค่าในการประกาศคลาสได้ ถ้าคุณมี:

class classname
{
    public:
       static int const N;
}

ในไฟล์. h คุณต้องมี:

int const classname::N = 10;

ในไฟล์. cpp

นี่เป็นอีกวิธีหนึ่งในการแก้ไขปัญหา:

std::min(9, int(test::N));

(ฉันคิดว่าคำตอบของ Crazy Eddie อธิบายได้อย่างถูกต้องว่าเหตุใดจึงมีปัญหา)

ตั้งแต่ C ++ 11 คุณสามารถใช้:

static constexpr int N = 10;

ในทางทฤษฎีนี้ยังคงต้องการให้คุณกำหนดค่าคงที่ในไฟล์. cpp แต่ตราบใดที่คุณไม่ใช้ที่อยู่ของNมันก็ไม่น่าเป็นไปได้มากที่การใช้งานคอมไพเลอร์ใด ๆ จะทำให้เกิดข้อผิดพลาด;)

C ++ อนุญาตให้กำหนดสมาชิก const แบบคงที่ภายในคลาส

ไม่ 3.1 §2พูดว่า:

การประกาศเป็นคำจำกัดความเว้นแต่จะประกาศฟังก์ชันโดยไม่ระบุเนื้อความของฟังก์ชัน (8.4) จะมีตัวระบุภายนอก (7.1.1) หรือข้อกำหนดการเชื่อมโยง (7.5) และไม่มีทั้งตัวเริ่มต้นหรือตัวฟังก์ชันใครก็จะประกาศข้อมูลคงที่ สมาชิกในนิยามคลาส (9.4) เป็นการประกาศชื่อคลาส (9.1) เป็นการประกาศแบบทึบแสง (7.2) หรือเป็นการประกาศแบบ typedef (7.1.3) เป็นการประกาศโดยใช้ (7.3.2) 3) หรือคำสั่งโดยใช้ (7.3.4)