Проверка времени компиляции C ++, если метод существует в типе шаблона

Question

У меня есть шаблон, который вызывает функцию-член. Как мне проверить с помощью static_assert, что метод существует?

struct A {

};

struct B {
    int foo() { return 42; } };

template <typename T> struct D {
    static_assert(/* T has foo */, "T needs foo for reasons");

    int bar() {
       return t.foo();
    }

    T t; };

int main() {
    D<A> d;

    std::cout << d.bar() << std::endl;

    return 0; }

Я знаю, что это просто сгенерирует ошибку компилятора, что у A нет foo, но я хотел бы проверить и дать лучший вывод ошибок, используя static_assert.

Answer 1

Поскольку вы используете static_assert Я утверждаю, что вы используете по крайней мере C ++ 11. Это позволяет написать что-то вроде этого:

#include <type_traits>

template<class ...Ts>
struct voider{
    using type = void;
};

template<class T, class = void>
struct has_foo : std::false_type{};

template<class T>
struct has_foo<T, typename voider<decltype(std::declval<T>().foo())>::type> : std::true_type{};

И вы просто используете статическое поле value (has_foo<your_type>::value) - если это правда, тогда ваш тип имеет функцию foo.

Answer 2

[Шаблоны ограничений] [۱] обсуждались долго - начиная с 2005 года или около того - на форумах std. Но результат еще не дождался C ++ 20.