Định nghĩa các thành viên số nguyên const tĩnh trong định nghĩa lớp

Sự hiểu biết của tôi là C ++ cho phép các thành viên const tĩnh được định nghĩa bên trong một lớp miễn là nó là kiểu số nguyên.

Vậy tại sao đoạn mã sau đây lại cho tôi lỗi trình liên kết?

#include <algorithm>
#include <iostream>

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

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

Lỗi tôi nhận được là:

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

Thật thú vị, nếu tôi nhận xét lệnh gọi tới std :: min, mã biên dịch và liên kết tốt (mặc dù test :: N cũng được tham chiếu ở dòng trước).

Bất kỳ ý tưởng về những gì đang xảy ra?

Trình biên dịch của tôi là gcc 4.4 trên Linux.

Sự hiểu biết của tôi là C ++ cho phép các thành viên const tĩnh được định nghĩa bên trong một lớp miễn là nó là kiểu số nguyên.

Bạn đúng là như vậy. Bạn được phép khởi tạo tích phân const tĩnh trong khai báo lớp nhưng đó không phải là định nghĩa.

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

Thật thú vị, nếu tôi nhận xét lệnh gọi tới std :: min, mã biên dịch và liên kết tốt (mặc dù test :: N cũng được tham chiếu ở dòng trước).

Bất kỳ ý tưởng về những gì đang xảy ra?

std :: min nhận tham số của nó bằng tham chiếu const. Nếu nó lấy chúng theo giá trị thì bạn không gặp vấn đề này nhưng vì bạn cần tham khảo nên bạn cũng cần định nghĩa.

Đây là chương / câu:

9.4.2 / 4 - Nếu một phần tử staticdữ liệu thuộc kiểu consttích phân hoặc constkiểu liệt kê, thì khai báo của nó trong định nghĩa lớp có thể chỉ định bộ khởi tạo hằng là biểu thức hằng tích phân (5.19). Trong trường hợp đó, phần tử có thể xuất hiện trong các biểu thức hằng số tích phân. Thành viên sẽ vẫn được xác định trong phạm vi không gian tên nếu nó được sử dụng trong chương trình và định nghĩa phạm vi không gian tên sẽ không chứa bộ khởi tạo .

Hãy xem câu trả lời của Chu để biết cách giải quyết khả thi.

Ví dụ của Bjarne Stroustrup trong Câu hỏi thường gặp về C ++ của anh ấy cho thấy bạn đúng và chỉ cần một định nghĩa nếu bạn lấy địa chỉ.

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
    // ...
}

Anh ta nói "Bạn có thể lấy địa chỉ của một thành viên tĩnh nếu (và chỉ khi) nó có một định nghĩa ngoài lớp" . Điều đó cho thấy nó sẽ hoạt động theo cách khác. Có thể hàm min của bạn gọi các địa chỉ bằng cách nào đó đằng sau hậu trường.

Một cách khác để làm điều này, đối với các kiểu số nguyên, là xác định các hằng số dưới dạng các enum trong lớp:

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

Không chỉ int. Nhưng bạn không thể xác định giá trị trong khai báo lớp. Nếu bạn có:

class classname
{
    public:
       static int const N;
}

trong tệp .h thì bạn phải có:

int const classname::N = 10;

trong tệp .cpp.

Đây là một cách khác để giải quyết vấn đề:

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

(Tôi nghĩ câu trả lời của Crazy Eddie mô tả chính xác lý do tại sao vấn đề tồn tại.)

Kể từ C ++ 11, bạn có thể sử dụng:

static constexpr int N = 10;

Về mặt lý thuyết, điều này vẫn yêu cầu bạn xác định hằng số trong tệp .cpp, nhưng miễn là bạn không lấy địa chỉ của Nnó thì rất ít khả năng việc triển khai trình biên dịch sẽ tạo ra lỗi;).

C ++ cho phép các thành viên const tĩnh được định nghĩa bên trong một lớp

Không, 3.1 §2 nói:

Một khai báo là một định nghĩa trừ khi nó khai báo một hàm mà không chỉ định phần thân của hàm (8.4), nó chứa mã định nghĩa bên ngoài (7.1.1) hoặc đặc tả liên kết (7.5) và không phải là bộ khởi tạo cũng không phải là một hàm, nó khai báo một dữ liệu tĩnh thành viên trong định nghĩa lớp (9.4), nó là một khai báo tên lớp (9.1), nó là một khai báo không rõ ràng (7.2), hoặc nó là một khai báo typedef (7.1.3), một khai báo sử dụng (7.3. 3), hoặc chỉ thị sử dụng (7.3.4).