การอ้างอิงที่ไม่ได้กำหนดสำหรับสมาชิกคลาสแบบสแตติก

ใครสามารถอธิบายได้ว่าทำไมรหัสต่อไปนี้จะไม่รวบรวม อย่างน้อยใน g ++ 4.2.4

และน่าสนใจมากขึ้นทำไมมันจะรวบรวมเมื่อฉันเลือกสมาชิกเพื่อ int?

#include <vector>

class Foo {  
public:  
    static const int MEMBER = 1;  
};

int main(){  
    vector<int> v;  
    v.push_back( Foo::MEMBER );       // undefined reference to `Foo::MEMBER'
    v.push_back( (int) Foo::MEMBER ); // OK  
    return 0;
}

คุณต้องกำหนดสมาชิกแบบสแตติกที่ใดที่หนึ่ง (หลังจากคำจำกัดความของคลาส) ลองสิ่งนี้:

class Foo { /* ... */ };

const int Foo::MEMBER;

int main() { /* ... */ }

ที่ควรกำจัดของการอ้างอิงที่ไม่ได้กำหนด

ปัญหาเกิดขึ้นเนื่องจากมีการปะทะกันของคุณสมบัติ C ++ ใหม่และสิ่งที่คุณพยายามทำ ก่อนอื่นเรามาดูpush_backลายเซ็น:

void push_back(const T&)

Tก็คาดว่าจะมีการอ้างอิงถึงวัตถุของการพิมพ์ ภายใต้ระบบเก่าของการเริ่มต้นสมาชิกดังกล่าวมีอยู่ ตัวอย่างเช่นรหัสต่อไปนี้รวบรวมเพียงแค่ปรับ:

#include <vector>

class Foo {
public:
    static const int MEMBER;
};

const int Foo::MEMBER = 1; 

int main(){
    std::vector<int> v;
    v.push_back( Foo::MEMBER );       // undefined reference to `Foo::MEMBER'
    v.push_back( (int) Foo::MEMBER ); // OK  
    return 0;
}

เนื่องจากมีวัตถุจริงอยู่ที่ไหนสักแห่งที่มีค่านั้นเก็บอยู่ในนั้น อย่างไรก็ตามหากคุณเปลี่ยนไปใช้วิธีการใหม่ในการระบุสมาชิก const แบบคงที่เช่นที่คุณมีด้านบนFoo::MEMBERจะไม่เป็นวัตถุอีกต่อไป เป็นค่าคงที่ค่อนข้างคล้ายกับ:

#define MEMBER 1

แต่ไม่มีอาการปวดหัวของมาโครตัวประมวลผลล่วงหน้า (และด้วยความปลอดภัยของประเภท) นั่นหมายความว่าเวกเตอร์ที่ต้องการการอ้างอิงไม่สามารถหาได้

มาตรฐาน C ++ ต้องการนิยามสำหรับสมาชิก const คงที่ของคุณหากจำเป็นต้องใช้นิยามอย่างใด

จำเป็นต้องใช้คำจำกัดความตัวอย่างเช่นถ้ามีการใช้ที่อยู่ push_backรับพารามิเตอร์โดยอ้างอิง const ดังนั้นคอมไพเลอร์จึงจำเป็นต้องใช้ที่อยู่ของสมาชิกของคุณและคุณจำเป็นต้องกำหนดพารามิเตอร์ในเนมสเปซ

เมื่อคุณสร้างค่าคงที่อย่างชัดเจนคุณกำลังสร้างชั่วคราวและเป็นชั่วคราวซึ่งถูกผูกไว้กับการอ้างอิง (ภายใต้กฎพิเศษในมาตรฐาน)

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

แม้ว่าในทางแปลก ๆ สิ่งนี้อาจถูกมองว่าเป็นการใช้งานที่ถูกต้องตามกฎหมายของผู้ดำเนินการ '+' โดยพื้นฐานแล้วผลลัพธ์ของการunary +เป็นค่า rvalue และดังนั้นกฎสำหรับการผูกค่า rvalues ​​กับการอ้างอิง const ใช้และเราไม่ใช้ที่อยู่ของสมาชิก const คงที่ของเรา:

v.push_back( +Foo::MEMBER );

Aaa.h

class Aaa {

protected:

    static Aaa *defaultAaa;

};

Aaa.cpp

// You must define an actual variable in your program for the static members of the classes

static Aaa *Aaa::defaultAaa;

ไม่มีความคิดว่าเหตุใดนักแสดงจึงใช้งานได้ แต่ Foo :: MEMBER ไม่ได้รับการจัดสรรจนกว่าจะมีการโหลด Foo เป็นครั้งแรกและเนื่องจากคุณไม่ได้โหลดมันก็ไม่เคยถูกจัดสรร หากคุณมีการอ้างอิงถึง Foo ที่ไหนสักแห่งมันอาจจะใช้ได้

ด้วย C ++ 11 สิ่งที่กล่าวมาข้างต้นอาจเป็นไปได้สำหรับประเภทพื้นฐานดังนี้

class Foo {
public:  
  static constexpr int MEMBER = 1;  
};

constexprส่วนสร้างแบบคงที่แสดงออกเมื่อเทียบกับคงที่ตัวแปร - และพฤติกรรมที่เช่นเดียวกับความหมายวิธีการแบบอินไลน์ง่ายมาก วิธีการพิสูจน์เล็กน้อยสั่นคลอนด้วย constexprs C- สตริงในชั้นเรียนแม่แบบแม้ว่า

เกี่ยวกับคำถามที่สอง: push_ref รับการอ้างอิงเป็นพารามิเตอร์และคุณไม่สามารถมีการอ้างอิงถึง const const แบบคงที่ของคลาส / โครงสร้าง เมื่อคุณเรียก static_cast ตัวแปรชั่วคราวจะถูกสร้างขึ้น และการอ้างอิงถึงวัตถุนี้สามารถส่งผ่านได้ทุกอย่างทำงานได้ดี

หรืออย่างน้อยเพื่อนร่วมงานของฉันที่แก้ไขปัญหานี้กล่าวเช่นนั้น