没有 void_t 的 C++ 检测习惯用法

Question

我如何实现 C++ detection idiom不使用 void_t？换句话说，我可以仅使用 C++03 功能实现 C++17 std::is_detected 等吗？

UPD 根据定义，检测习语需要 C++11。在我的问题中，我只是想在没有 void_t 的情况下以某种方式实现 is_detected。我的问题在于:别名模板中未使用的参数不能保证确保 SFINAE 并且可以忽略，ans VS 2013 有这个缺陷；另一个尝试(比如在 cppreference 上)导致编译器崩溃(是的，cl 是世界上最伟大的编译器)。

UPD2 我认为 VS 2013 可以破解任何 C++ 元编程技术(以及程序员的大脑)。

Answer 1

回到过去的 好 时代，我们就是这样做的

template<typename T>
T declval();

template<typename T>
struct can_foo
{
    typedef char yes;
    struct no {char c[2];};

    template<typename U>
    static yes check(int (*)[sizeof(declval<U>().foo(), 1)]);
    template<typename>
    static no check(...);

    enum {value = sizeof(check<T>(0)) == sizeof(yes)};
};

struct fooer
{
    void foo() {}  
};
struct barer
{
    void bar() {}  
};

#include<cassert>

int main()
{
    assert(can_foo<fooer>::value);
    assert(!can_foo<barer>::value);
}

Live example

诀窍是尽可能地滥用 sizeof。

请注意，declval 不同于 std::declval。