sfinae

11Nhiệt

1Trả lời

Các đối số mẫu mặc định không phụ thuộc của các mẫu chức năng có cho phép SFINAE không?

Với "không phụ thuộc" ở đây tôi có nghĩa là "không phụ thuộc vào bất kỳ đối số mẫu nào khác của mẫu chức năng cụ thể đó". Khi trả lời this question, tôi nghĩ tôi đã tìm được câu trả lời, nhưng theo @J

8Nhiệt

1Trả lời

Có thể chuyên mẫu về liên kết ngôn ngữ không?

của một chức năng liên kết ngôn ngữ là một phần của loại của nó: 7.5.1 [dcl.link] của ISO C++ tiêu chuẩn: Các liên kết ngôn ngữ mặc định của tất cả các loại chức năng, tên hàm, và biến tên là liên kết

7Nhiệt

1Trả lời

bí danh mẫu và sfinae

Trong trường hợp lỗi thay thế liên quan đến bí danh mẫu (ví dụ: bí danh mẫu trên tên tệp thành viên bị thiếu, như trong đoạn mã bên dưới), có nên kích hoạt lỗi không? Clang và gcc dường như không đồng

24Nhiệt

3Trả lời

SFINAE hoạt động theo kiểu trả về chứ không phải là thông số mẫu

Tôi đã sử dụng thành ngữ SFINAE một vài lần và tôi đã sử dụng để đặt các thông số mẫu của mình thay vì trả về. Tuy nhiên, tôi đã xem xét một số trường hợp tầm thường mà nó không hoạt động, và tôi khôn

6Nhiệt

2Trả lời

SFINAE với các lớp mẫu variadic?

Tôi dường như không thể tìm ra giải pháp tốt để sử dụng SFINAE với các lớp mẫu có định dạng variadic. Hãy nói rằng tôi có một mẫu đối tượng variadic mà không thích tham khảo: template<typename... Args

23Nhiệt

5Trả lời

Tại sao biên dịch lỗi với enable_if

Tại sao điều này không biên dịch với gcc48 và clang32? lỗi #include <type_traits> template <int N> struct S { template<class T> typename std::enable_if<N==1, int>::type f(T t) {retu

7Nhiệt

3Trả lời

Xung đột giữa hàm tạo chuyển tiếp hoàn hảo và hàm tạo bản sao trong phân cấp lớp

Gần đây tôi đã gặp phải sự cố trong khi cố gắng triển khai phân cấp lớp với các trình xây dựng chuyển tiếp hoàn hảo. Hãy xem xét ví dụ sau: struct TestBase { template<typename T> explicit Te

52Nhiệt

1Trả lời

'void()' trong 'auto f (params) -> decltype (..., void())' làm gì?

Tôi tìm thấy mã here trông một cái gì đó như thế này: auto f(T& t, size_t n) -> decltype(t.reserve(n), void()) { .. } Trong tất cả các tài liệu tôi đọc tôi đã nói rằng decltype được ký kết như: decl

6Nhiệt

1Trả lời

có điều kiện (SFINAE) override

Tôi đang cố gắng để làm điều này: struct A { virtual int f() const { return 0; } }; template <typename T> struct B : A { template <typename U = T, typename std::enable_if<...some

6Nhiệt

1Trả lời

Kiểm tra nếu loại được khai báo là một hệ thống kiểu meta (ví SFINAE)

Để thực hiện một sự phân biệt trường hợp cho một tham số t loại T sử dụng SFINAE, tôi muốn biết nếu báo cáo kết quả QVariant::fromValue(t); và/hoặc QVariant::value<T>(); biên dịch. Nếu người biên