沒有void_t的C ++檢測習語

Question

如何在不使用void_t情況下實現C ++ 檢測習慣用法 ？ 換句話說，我std::is_detected可以僅使用C ++ 03功能實現C ++ 17 std::is_detected等？

根據定義， UPD檢測習慣用法需要C ++ 11。 在我的問題中，我只是想要在沒有void_t情況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

回到過去的 好 時光，這是我們如何做到這一點

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);
}

實例

訣竅是盡可能地濫用sizeof 。

請注意， declval與std::declval不同。