Tại sao SFINAE không hoạt động cho việc này?

In lại Tác giả: Taklimakan Thời gian cập nhật: 2023-11-03 02:20:20 26 4

mẫu
điểm cấu trúc {
    T x, y;
    điểm(T x, T y): x(x), y(y) {}
};

mẫu
cấu trúc op_div {
    typedef decltype(T() / U()) loại;
};

mẫu
điểm::type>
toán tử/(point const& l, point const& r) {
    điểm trả về::type>(lx/rx, ly/ry);
}

mẫu
điểm::type>
toán tử/(điểm const& l, U const& r) {
    điểm trả về::type>(lx / r, ly / r);
}

int chính() {
    point(0, 1) / point(2, 3);
}

mẫu
cấu trúc op_div {
    static T t(); static U u();
    typedef decltype(t() / u()) type;
};

mẫu
tự động
operator/(point const& l, point const& r) -> point {
    return {l.x / r.x, l.y / r.y};
}

mẫu
tự động
operator/(point const& l, U const& r) -> point {
    return {l.x / r, l.y / r};
}

26 4 0

• Hành vi khác nhau của lỗi SFINAE và SFINAE trong g++ và clang++

  Một số câu hỏi của chuyên gia C++11 Tôi đang làm việc với SFINAE và gặp phải một tình huống kỳ lạ khi g++ (4.9.2) và clang++ (3.5.0) hoạt động khác nhau. Tôi đã chuẩn bị mã mẫu sau. Xin lỗi, tôi không có

• c++ - SFINAE và khởi tạo hàm mẫu: Tại sao không thể suy ra một đối số mẫu khi được sử dụng trong các đối số hàm có loại hỗ trợ SFINAE?

  Tôi đang thử nghiệm SFINAE những ngày này và có điều gì đó làm tôi bối rối. Tại sao my_type_a không thể được khởi tạo từ my_function? lớp mẫu my_type_a {};

• SFINAE không thể xác định chính xác liệu phương thức có tồn tại hay không

  Tôi đang cố gắng sao chép (tôi đoán vậy) ví dụ SFINAE điển hình để xác định xem một loại có phương thức cụ thể hay không. Mã của tôi về cơ bản là mã được tìm thấy trong câu trả lời được chấp nhận của câu trả lời trước đó

• android - sfinae và khái niệm về tham số mẫu không phải kiểu

  Vì lý do học thuật, tôi muốn triển khai một ví dụ chọn mẫu nếu tham số mẫu không phải kiểu thỏa mãn một điều kiện nhất định. Ví dụ: tôi muốn một hàm chỉ được xác định cho số lẻ. Bạn có thể làm điều này: template struct is_odd: public st

• templates - SFINAE: Kiểm tra xem việc ghép hai gói variadic có giống với một gói không

  Có cách nào để kiểm tra xem việc ghép hai gói biến thể có giống với gói biến đổi thứ ba hay không. mẫu struct ClassOne { } mẫu struct ClassTwo { } mẫu s

• SFINAE cho loại không có thành viên cụ thể

  Tại sao đoạn mã sau không được biên dịch? Giải pháp rõ ràng nhất để bật mẫu cho các loại có thành viên cụ thể là gì? Nó cũng sẽ biên dịch nếu một biến mẫu được thay thế bằng một biểu thức được sử dụng trực tiếp để khởi tạo nó. #include mẫu constexpr boo

• C++ SFINAE không bị lỗi

  Mã: #include sử dụng mẫu std::nullptr_t;

• SFINAE không hoạt động với hàm tạo bản sao

  Tôi có một lớp mẫu và tôi muốn có hai ctor sao chép. Một cho các loại tầm thường và một cho các loại không tầm thường. Đoạn mã sau hoạt động (sử dụng ctor sao chép): template struct MyStruct { MySt

• Chuyên môn hóa một phần C++ SFINAE

  Tôi đã cố gắng xác định một lớp trợ giúp để giúp tôi về các phương thức mẫu mà tôi muốn cung cấp cách triển khai chung cho các kiểu phức tạp và kiểu thực. Đây là những gì tôi đã thử cho đến nay: #include #include cấu trúc mẫu là

• Gõ từ khóa tên cho SFINAE

  Câu hỏi này đã có câu trả lời: Chính thức, typename dùng để làm gì? [trùng lặp] (8 câu trả lời) Đã đóng cửa 3 năm trước. Tôi đang làm việc trên SFINAE bằng C++ hiện đại và tôi đang xem xét

• C++ SFINAE cho các nhóm phương thức và trang trí

  Tôi có một std::variants chứa các đối tượng có giao diện khác nhau. Mục tiêu là gọi một số phương thức nếu đối tượng trong biến thể có nó. Tôi đang cố gắng tạo một vài công cụ trang trí mẫu và tìm cách sử dụng ít bản soạn sẵn hơn và không có macro

• Cách thực hiện SFINAE với chữ ký hàm của hàm mẫu

  Tôi có một mã nhận một hàm và thực thi nó dựa trên chữ ký hàm như sau: template struct Value { int value[Num]; struct Executor { t

• Chuyên môn hóa một phần C++ SFINAE

  Tôi đã cố gắng xác định một lớp trợ giúp để giúp tôi về các phương thức mẫu mà tôi muốn cung cấp cách triển khai chung cho các kiểu phức tạp và kiểu thực. Đây là những gì tôi đã thử cho đến nay: #include #include cấu trúc mẫu là

• Sự khác biệt giữa SFINAE và gửi thẻ

  Trong video này https://youtu.be/Vkck4EU2lOU?t=582 "Lập lịch thẻ" và SFINAE xuất hiện dưới dạng các lựa chọn thay thế, cho phép lựa chọn triển khai chức năng mẫu mong muốn. Chính xác? "Gửi nhãn" không sử dụng SFINAE?

• SFINAE không ngăn chặn tình trạng quá tải toán tử không rõ ràng phải không?

  Tôi nghĩ đoạn mã sau sẽ biên dịch vì tình trạng quá tải xung đột là SFINAEd. Nhưng trình biên dịch (GCC) cho biết: void Foo::bar(Xd) const' không thể bị quá tải. Có cách nào dễ dàng để khắc phục nó không?

• c++ - Macro cho các hàm mẫu (SFINAEd)

  #define mẫu BINDINGTEMPLATE, int> || std::is_same_v, std::string> || std::is_same_v, char>>>

• c# - Tham số mẫu khái niệm nội bộ SFINAE

  SFINAE có đóng vai trò gì trong các lập luận về khái niệm không? (Có lẽ ở đây nó không được gọi là SFINAE). Ví dụ: mẫu yêu cầu std::invocable && // , void>)

• SFINAE bên ngoài giải quyết tình trạng quá tải?

  Trong bài nói chuyện Lập trình siêu mẫu hiện đại: Phần phác thảo Phần I, Walter Brown thảo luận về sự tương tác của Enable_if với SFINAE theo cách riêng của ông. Vào khoảng 47:40 trong cuộc trò chuyện, anh ấy đã được hỏi một câu hỏi mà tôi không thể hiểu được

• c++ - Quá tải kiểu trả về SFINAE

  Tôi đang cố gắng thực hiện hai lần nạp chồng của cùng một hàm, được gọi là cái gì đó. Hàm này sẽ lấy một hàm khác làm tham số và nó sẽ được nạp chồng dựa trên kiểu trả về của hàm kia. Cho đến nay tôi có cái này: #include #include bằng cách sử dụng

• c# - Xác định loại nhiều lớp SFINAE

  Đoạn mã sau chuyên biệt hóa hai phiên bản của f(). Cái đầu tiên phát hiện một vectơ và trả về một trình vòng lặp. Loại thứ hai chấp nhận tất cả các loại khác và trả về một bản sao. Điều này không được biên dịch trên VC 2010, có một lỗi trong GetIter2 khiến GetIter2 bị lỗi