具有特征的 C++ 类型擦除

Question

我想知道这是否可以创建一个符合这样一个特征的擦除类型：

template<class T>
using read_t = std::conditional_t<true,
    decltype(std::declval<T>().Read(uint16_t{})),
    std::integral_constant<uint8_t (T::*)(uint16_t), &T::Read>>;

并像这样使用它？

using any_readable_t = any<read_t>; 
auto test(any_readable_t &r) -> uint8_t {
     return r.Read(0);
}

Answer 1

没有任何外部库，需要做很多工作才能实现您想要的。使用 Louis Dionne 的dyno：

DYNO_INTERFACE(Readable,
    (read, uint8_t (uint16_t))
);

auto test(Readable& r) -> uint8_t {
    return r.read(0);
}