Ngăn chặn chức năng lấy const std :: string & từ chấp nhận 0

Đáng giá ngàn lời nói:

#include<string>
#include<iostream>

class SayWhat {
    public:
    SayWhat& operator[](const std::string& s) {
        std::cout<<"here\n"; // To make sure we fail on function entry
        std::cout<<s<<"\n";
        return *this;
    }
};

int main() {
    SayWhat ohNo;
    // ohNo[1]; // Does not compile. Logic prevails.
    ohNo[0]; // you didn't! this compiles.
    return 0;
}

Trình biên dịch không phàn nàn khi chuyển số 0 cho toán tử ngoặc chấp nhận chuỗi. Thay vào đó, điều này biên dịch và thất bại trước khi vào phương thức với:

terminate called after throwing an instance of 'std::logic_error'
  what():  basic_string::_S_construct null not valid

Để tham khảo:

> g++ -std=c++17 -O3 -Wall -Werror -pedantic test.cpp -o test && ./test
> g++ --version
gcc version 7.3.1 20180303 (Red Hat 7.3.1-5) (GCC)

Tôi đoán

Trình biên dịch đang ngầm sử dụng hàm std::string(0)tạo để nhập phương thức, điều này dẫn đến cùng một vấn đề (google lỗi ở trên) không có lý do chính đáng.

Câu hỏi

Có cách nào để khắc phục điều này ở phía lớp không, vì vậy người dùng API không cảm thấy điều này và lỗi được phát hiện tại thời điểm biên dịch?

Đó là, thêm một quá tải

void operator[](size_t t) {
    throw std::runtime_error("don't");
}

không phải là một giải pháp tốt.

Lý do std::string(0)là hợp lệ, là do 0hằng số con trỏ null. Vì vậy, 0 khớp với hàm tạo chuỗi lấy một con trỏ. Sau đó, mã chạy afoul của điều kiện tiên quyết mà người ta không thể vượt qua một con trỏ null đến std::string.

Chỉ bằng chữ 0sẽ được hiểu là hằng số con trỏ null, nếu đó là giá trị thời gian chạy trong một intbạn sẽ không gặp vấn đề này (vì khi đó độ phân giải quá tải sẽ tìm kiếm một intchuyển đổi thay thế). Nghĩa đen cũng không phải là 1vấn đề, bởi vì 1không phải là hằng số con trỏ rỗng.

Vì đó là một vấn đề thời gian biên dịch (giá trị không hợp lệ theo nghĩa đen), bạn có thể nắm bắt nó tại thời gian biên dịch. Thêm một quá tải của hình thức này:

void operator[](std::nullptr_t) = delete;

std::nullptr_tlà loại nullptr. Và nó sẽ phù hợp với bất kỳ rỗng trỏ liên tục, có thể là 0, 0ULLhoặc nullptr. Và vì chức năng bị xóa, nó sẽ gây ra lỗi thời gian biên dịch trong quá trình phân giải quá tải.

Một tùy chọn là khai báo privatetình trạng quá tải operator[]()chấp nhận một đối số không thể tách rời và không xác định nó.

Tùy chọn này sẽ hoạt động với tất cả các tiêu chuẩn C ++ (1998 trở đi), không giống như các tùy chọn như void operator[](std::nullptr_t) = deletehợp lệ từ C ++ 11.

Làm cho operator[]()một privatethành viên sẽ gây ra một lỗi có thể chẩn đoán trên ví dụ của bạn ohNo[0], trừ khi biểu thức được sử dụng bởi một hàm thành viên hoặc friendcủa lớp.

Nếu biểu thức đó được sử dụng từ một hàm thành viên hoặc friendcủa lớp, mã sẽ biên dịch nhưng - vì hàm này không được xác định - nói chung, quá trình xây dựng sẽ thất bại (ví dụ: lỗi liên kết do hàm không xác định).