"như thể" trong tiêu chuẩn ngôn ngữ

Question

Ý nghĩa chính xác của cụm từ "như thể" trong tiêu chuẩn là gì và nó hoạt động như thế nào khi người dùng có thể sửa đổi các phần riêng lẻ của hành vi.

Câu hỏi đặt ra là liên quan đến tiêu chuẩn C++ khi nói về phiên bản chưa phát hành của operator new. 18.4.1.1/7 đọc (tôi nhấn mạnh):

Đây là phiên bản nothrow của nhà khai thác lợi nhuận mới một con trỏ được như thể mua từ các phiên bản bình thường.

Sự hiểu biết của tôi là "như thể" không yêu cầu triển khai cụ thể miễn là hành vi là phù hợp. Vì vậy, nếu operator new được thực hiện như thế này (tôi biết đây không phải là một việc thực hiện phù hợp vì không có vòng lặp hoặc sử dụng các new_handler; nhưng tôi rút ngắn mà tập trung vào vấn đề của tôi):

// NOTE - not fully compliant - for illustration purposes only. 
void *operator new(std::size_t s) 
{ 
    void *p = malloc(s); 
    if (p == 0) 
     throw std::bad_alloc(); 
    return p; 
} 

Sau đó, nó sẽ hợp pháp để viết phiên bản không giống như thế này:

// NOTE - not fully compliant - for illustration purposes only. 
void *operator new(std::size_t s, const std::nothrow_t &nt) 
{ 
    return malloc(s); 
} 

Nhưng giả sử chương trình thay thế operator new để sử dụng một số cấp phát khác. Liệu "như thể" có nghĩa là trình biên dịch phải tự động thay đổi hành vi của phiên bản không dùng để sử dụng cấp phát khác này? Nhà phát triển có bắt buộc phải thay thế cả phiên bản thuần tuý và không phải không?

Answer 1

Từ 1.9 "thực hiện Chương trình:

triển khai phù hợp được yêu cầu phải thi đua (chỉ) các hành vi quan sát của máy trừu tượng

và trong một chú thích thông tin:

Quy định này đôi khi được gọi nguyên tắc “as-if”, bởi vì việc triển khai là miễn phí để bỏ qua bất kỳ yêu cầu nào của Tiêu chuẩn này miễn là kết quả là như yêu cầu đã được tuân theo, có thể được xác định từ hành vi quan sát của chương trình. instan ce, một thực hiện thực tế không cần đánh giá một phần của một biểu thức nếu nó có thể suy ra rằng giá trị của nó không được sử dụng và không có tác dụng phụ nào ảnh hưởng đến hành vi quan sát được của chương trình được tạo ra.

Tiêu chuẩn đặc biệt lưu ý rằng yêu cầu "as-if" là ràng buộc trên phiên bản thay thế của phiên bản không phát hành operator new(). Tuy nhiên, khi tôi đọc nó, yêu cầu đó sẽ rơi vào lập trình viên ghi đè operator new() không phải trình biên dịch. Mặt trái của trách nhiệm này là tôi nghĩ tiêu chuẩn khá nhiều đòi hỏi việc triển khai mặc định số operator new() được cung cấp bởi thư viện phải làm điều gì đó dọc theo các dòng gọi là ném new trong thử/bắt và trả về 0 nếu std::bad_alloc bị bắt.

Trường hợp quy tắc "như thể" có thể tham gia ở đây là nếu trình biên dịch/liên kết/bất kỳ thông minh nào đủ để hiểu rằng khi mặc định ném new() đang được sử dụng, mặc định không ném new() có thể mất các phím tắt, nhưng nếu mặc định ném new() bị ghi đè, mặc định không ném new() sẽ phải hành động khác nhau. Tôi chắc chắn đây là kỹ thuật có thể cho một thực hiện (ngay cả khi bạn có thể không thể hiện nó trong tiêu chuẩn C + +). Tôi sẽ ngạc nhiên nếu có bao giờ một thực hiện đã làm điều này.

Tôi có thể đọc quá nhiều yêu cầu, nhưng tôi nghĩ đó là điều có thể suy ra.

Answer 2

Nếu thay đổi trong phân bổ trong operator new tạo sự khác biệt quan sát được về hành vi của chương trình C++ tuân thủ thì có thể yêu cầu thay đổi trong việc thực hiện phiên bản no-throw. Cụ thể nếu operator delete chỉ dự kiến ​​các khối được phân bổ bởi người cấp phát mới thì không ném mới phải thay đổi.

Đọc của tôi là sử dụng như thể cho phép thực hiện như của bạn khi người dùng không ghi đè tiêu chuẩn operator new. Ngay khi có, việc triển khai không được sử dụng malloc dựa trên no-throwoperator new và phải gọi cho người dùng tuyên bố phiên bản rõ ràng hoặc ít nhất là sử dụng lại đủ phiên bản được người dùng khai báo rằng chương trình tuân thủ không thể cho biết điều này là không Cách phiên bản no-throw đã được triển khai.

Answer 3

Nhà phát triển nên thay thế cả phiên bản thuần và không phát hành. Hãy xem số article này trên GOTW.

Giả định của tôi là tiêu chuẩn đặt các yêu cầu về triển khai mặc định của trình biên dịch (và thời gian chạy). Vì vậy, "như thể" bạn trích dẫn có nghĩa là để thông báo cho nhà cung cấp trình biên dịch rằng việc triển khai mặc định của các phương thức đó phải đáp ứng các tiêu chí được chỉ định. Nếu một nhà phát triển chọn ghi đè chỉ một phiên bản của toán tử mới, tôi không nghĩ đó là trách nhiệm của trình biên dịch để làm cho tất cả các phiên bản khác của toán tử mới tuân thủ. Đó là trách nhiệm của nhà phát triển. Nhưng đó là tất cả các ý kiến ​​của tôi, tôi không có spec spec vào lúc này để xem những gì nó nói trong vấn đề phía trước.