Đây có phải là SFINAE không?

Question

Tôi đã hỏi một câu hỏi khoảng một tuần trước để hỏi làm thế nào tôi có thể đơn giản khởi tạo một mẫu lớp chỉ khi kiểu nó đã có một hàm thành viên cụ thể. Trong câu trả lời của tôi, tôi đã nhận được một giải pháp phức tạp. Nhưng sau đó tôi đã cố gắng làm điều đó một mình. Tôi chỉ muốn biết nếu điều này đủ để tìm ra một loại nhất định T có hàm void có tên là f lấy 0 tham số.

#include <type_traits> 
#include <utility> 

template <typename T, typename = void> 
struct has_f : std::false_type { }; 

template <typename T> 
struct has_f< 
    T, 
    decltype(std::declval<T>().f(), void())> : std::true_type { }; 

template <typename T, typename = typename std::enable_if<has_f<T>::value>::type> 
struct A { }; 

struct B 
{ 
    void f(); 
}; 

struct C { }; 

template class A<B>; // compiles 
template class A<C>; // error: no type named ‘type’ 
        // in ‘struct std::enable_if<false, void>’ 

Nếu vậy, tại sao là những câu trả lời khác rất phức tạp trong this thread?

Answer 1

Yep, bạn đã giải quyết nó trong đơn giản, phong cách thành ngữ nhất của C++ 11 SFINAE.

Lưu ý rằng bạn không kiểm tra xem kiểu trả về là void, là một thành viên không phải là thành viên không có nghĩa là không có tham số. f chỉ đơn giản là có thể gọi được mà không có đối số. Nó thậm chí có thể là một functor.

Để kiểm tra một hàm thành viên không tĩnh nullary trở void, sử dụng

template <typename T> 
struct has_f<T, decltype(void(static_cast< void (T::*)(void) >(&T::f))) > 
    : std::true_type {}; 

template <typename T> 
struct has_f<T, decltype(void(static_cast< void (T::*)(void) const >(&T::f))) > 
    : std::true_type {};