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

Posted

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了C ++编译时检查模板类型中是否存在方法相关的知识,希望对你有一定的参考价值。

我有一个调用成员函数的模板。如何与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提供更好的错误输出。

答案

因为你使用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{};

你只需使用静态字段valuehas_foo<your_type>::value) - 如果它是真的那么你的类型有函数foo

另一答案

[约束模板] [1]自从2005年以来一直在std论坛上进行了长时间的讨论。但结果尚未等到C ++ 20。

以上是关于C ++编译时检查模板类型中是否存在方法的主要内容,如果未能解决你的问题,请参考以下文章

在 .NET 中的编译时检查引用/类型是不是存在

代码中存在数据类型错误,其中类型是布尔值而不是整数

C#中具有相同名称和签名但返回类型不同的方法

在C ++ 17中是否有针对typeid的逆函数?

可以使用C预处理器来判断文件是否存在吗?

Java中Animal b = new Dog();Dog c = new Dog();的区别