“Sử dụng ODR” có nghĩa là gì?

Điều này chỉ xuất hiện trong bối cảnh của một câu hỏi khác .

Rõ ràng các hàm thành viên trong các mẫu lớp chỉ được khởi tạo nếu chúng được sử dụng ODR. Ai đó có thể giải thích chính xác điều đó có nghĩa là gì. Các bài viết trên wikipedia Một Definition Rule (ODR) không đề cập đến " ODR sử dụng ".

Tuy nhiên, tiêu chuẩn xác định nó là

Một biến có tên xuất hiện dưới dạng biểu thức được đánh giá tiềm năng được sử dụng odr trừ khi nó là một đối tượng đáp ứng các yêu cầu để xuất hiện trong một biểu thức hằng số (5.19) và việc chuyển đổi giá trị thành giá trị (4.1) được áp dụng ngay lập tức.

trong [basic.def.odr].

Chỉnh sửa: Rõ ràng đây là phần sai và toàn bộ đoạn văn có nhiều định nghĩa cho những thứ khác nhau. Đây có thể là cái có liên quan cho chức năng thành viên mẫu lớp:

Một hàm không quá tải có tên xuất hiện dưới dạng một biểu thức được đánh giá tiềm năng hoặc một thành viên của một tập hợp các hàm ứng cử viên, nếu được chọn theo độ phân giải quá tải khi được tham chiếu từ một biểu thức được đánh giá tiềm năng, được sử dụng odr, trừ khi nó là một ảo thuần túy chức năng và tên của nó không đủ điều kiện rõ ràng.

Tuy nhiên, tôi không hiểu, quy tắc này hoạt động như thế nào trên nhiều đơn vị biên dịch? Tất cả các hàm thành viên có được khởi tạo không nếu tôi khởi tạo một cách rõ ràng một mẫu lớp?

Nó chỉ là một định nghĩa tùy ý, được tiêu chuẩn sử dụng để chỉ định khi nào bạn phải cung cấp định nghĩa cho một thực thể (trái ngược với chỉ một khai báo). Tiêu chuẩn không chỉ nói "đã qua sử dụng", vì điều này có thể được hiểu đa dạng tùy thuộc vào ngữ cảnh. Và một số việc sử dụng ODR không thực sự tương ứng với những gì người ta thường kết hợp với "sử dụng"; ví dụ, một hàm ảo luôn được sử dụng ODR trừ khi nó thuần túy, ngay cả khi nó thực sự không được gọi ở bất kỳ đâu trong chương trình.

Định nghĩa đầy đủ nằm trong §3.2 , đoạn thứ hai, mặc dù điều này chứa các tham chiếu đến các phần khác để hoàn thành định nghĩa.

Liên quan đến các mẫu, ODR được sử dụng chỉ là một phần của câu hỏi; phần khác là khởi tạo. Đặc biệt, §14.7 bao gồm khi một mẫu được khởi tạo. Nhưng cả hai có liên quan với nhau: trong khi văn bản trong §14.7.1 (diễn giải ngầm) khá dài, nguyên tắc cơ bản là một mẫu sẽ chỉ được khởi tạo nếu nó được sử dụng và trong ngữ cảnh này, được sử dụng có nghĩa là được sử dụng ODR. Do đó, một hàm thành viên của mẫu lớp sẽ chỉ được khởi tạo nếu nó được gọi, hoặc nếu nó là ảo và bản thân lớp được khởi tạo. Bản thân tiêu chuẩn dựa vào điều này ở nhiều nơi: việc std::list<>::sortsử dụng <trên các phần tử riêng lẻ, nhưng bạn có thể tạo danh sách trên một loại phần tử không hỗ trợ <, miễn là bạn không gọi sortnó.

Nói một cách đơn giản, odr-used có nghĩa là một cái gì đó (biến hoặc hàm) được sử dụng trong ngữ cảnh mà định nghĩa của nó phải có mặt.

ví dụ,

struct F {
   static const int g_x = 2;
};

int g_x_plus_1 = F::g_x + 1; // in this context, only the value of g_x is needed.
                             // so it's OK without the definition of g_x

vector<int>  vi;
vi.push_back( F::g_x );      // Error, this is odr-used, push_back(const int & t) expect
                             // a const lvalue, so it's definition must be present

Lưu ý, push_back ở trên được thông qua trong MSVC 2013, hành vi này không tuân thủ tiêu chuẩn, cả gcc 4.8.2 và clang 3.8.0 đều không thành công, thông báo lỗi là: tham chiếu không xác định đến `K :: g_x '