biểu thức kích thước này được đánh giá như thế nào? và tại sao nó được gọi như vậy?

Question

tôi đi qua với mã này trong một thực hiện std::optional:

template <class T, class U> 
struct is_assignable 
{ 
    template <class X, class Y> 
    constexpr static bool has_assign(...) { return false; } 

    template <class X, class Y, size_t S = sizeof((std::declval<X>() = std::declval<Y>(), true)) > 
    // the comma operator is necessary for the cases where operator= returns void 
    constexpr static bool has_assign(bool) { return true; } 

    constexpr static bool value = has_assign<T, U>(true); 
}; 

Phần mà tôi không thể hiểu cách thức hoạt động hoặc làm thế nào nó được đánh giá là size_t S = sizeof((std::declval<X>() = std::declval<Y>(), true)) Tôi biết rằng nếu hoạt động assign thất bại nó sẽ rơi trở lại định nghĩa đầu tiên của has_assign trả về false, nhưng tôi không biết tại sao nó có phần , true).

Tôi đã thực hiện một số thử nghiệm với cấu trúc trả về khoảng trống trên toán tử gán và xóa phần , true trong sizeof mang lại cho tôi kết quả tương tự.

Answer 1

Để áp dụng sizeof(), bạn cần một loại hoàn chỉnh. Nhưng trở về một loại hoàn toàn không phải là một yêu cầu của assignability, do đó:

sizeof((std::declval<X>() = std::declval<Y>(), true)) 
     ~~~~~~~~~~~~~~~~~~ expr ~~~~~~~~~~~~~~~~~~~~~ 

nếu việc chuyển nhượng có hiệu lực trong hai loại, sau đó chúng tôi có sizeof(expr) nơi các loại expr là bool (vì true). Vì vậy, nếu nhiệm vụ là hợp lệ, chúng tôi nhận được một số thực sự size. Nếu không, thay thế thất bại.

---

Nhưng đây là cách viết mã không cần thiết khó hiểu này. Hơn nữa, nó thậm chí không chính xác bởi vì tôi có thể viết một loại như:

struct Evil { 
    template <class T> Evil operator=(T&&); // assignable from anything 
    void operator,(bool);     // mwahahaha 
}; 

và bây giờ sizeof() vẫn không hoạt động.

Thay vào đó, thích đơn giản:

class = decltype(std::declval<X>() = std::declval<Y>()) 

này thực hiện giống kết quả - một trong hai thất bại thay hay không - mà không cần phải quan tâm ở tất cả về những gì loại của kết quả là hoặc để xử lý các trường hợp đặc biệt.

Answer 2

Về nguyên tắc, loại biểu thức std::declval<X>() = std::declval<Y>() (nghĩa là loại trả về của operator = có liên quan) có thể tùy ý, bao gồm loại không đầy đủ hoặc void. Trong trường hợp như vậy, SFINAE sẽ không khởi động, vì biểu thức là hợp lệ. Tuy nhiên, bạn sẽ gặp phải lỗi khi áp dụng sizeof cho loại không đầy đủ. (Lưu ý rằng một số trình biên dịch xác định sizeof(void) == 1 là một phần mở rộng, nhưng điều đó không thể được dựa trên toàn cầu).

Thêm , true sau khi biểu thức SFINAE sửa lỗi này bằng cách loại bỏ loại nhiệm vụ (bất kể nó là gì) và áp dụng sizeof đến true thay thế (hoàn toàn hợp lệ).

Như đã nêu bởi Barry trong các ý kiến, một cách tiếp cận trực tiếp hơn là nên sử dụng các loại phân trong decltype thay vì trong sizeof, như thế này:

template <class X, class Y, class S = decltype(std::declval<X>() = std::declval<Y>()) > 
constexpr static bool has_assign(bool) { return true; }