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）-如果为true，则您的类型具有函数foo。

Answer 2

[约束模板] [۱]在std论坛上一直进行了很长时间的讨论（从2005年左右开始）。但是结果要等到C ++ 20。

C ++编译时检查模板类型中是否存在方法

2 个答案: