没有void_t

Question

如何在不使用void_t的情况下实现C ++ detection idiom？换句话说，我可以仅使用C ++ 03特性实现C ++ 17 std::is_detected等吗？

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

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

Answer 1

由于问题被修改并且允许使用C ++ 11，我几乎从cppreference发布了一个复制粘贴，没有信用。

namespace detail {
struct nonesuch {
  nonesuch() = delete;
  ~nonesuch() = delete;
  nonesuch(nonesuch const&) = delete;
  void operator=(nonesuch const&) = delete;
};

template <class Default, class AlwaysVoid, template <class...> class Op, class... Args>
struct detector {
  using value_t = std::false_type;
  using type = Default;
};

template <typename... Ts>
struct my_make_void {
  typedef void type;
};

template <typename... Ts>
using my_void_t = typename my_make_void<Ts...>::type;

template <class Default, template <class...> class Op, class... Args>
struct detector<Default, my_void_t<Op<Args...>>, Op, Args...> {
  using value_t = std::true_type;
  using type = Op<Args...>;
};

} // namespace detail

template <template <class...> class Op, class... Args>
using is_detected =
  typename detail::detector<detail::nonesuch, void, Op, Args...>::value_t;

template <class T>
using copy_assign_t = decltype(std::declval<T&>() = std::declval<const T&>());

struct Meow {};
struct Purr {
  void operator=(const Purr&) = delete;
};

int main() {
  cerr << is_detected<copy_assign_t, Meow>::value << endl;
  return 0;
}

Answer 2

回到 good 过去，这就是我们这样做的方式

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不同。