gpt4 book ai didi

c++ - 为什么我不能推断静态成员函数是否存在

转载 作者:塔克拉玛干 更新时间:2023-11-03 01:33:46 26 4
gpt4 key购买 nike

我有以下代码:

#include <utility>

template<class T,class E = void>
struct func_impl;

template<class T,class E = void>
constexpr inline bool has_func = false;

template<class T>
constexpr inline bool has_func<T,decltype(func_impl<T>::apply(std::declval<T>()))> = true;

template<>
struct func_impl<int>
{
static int apply(int i);
};

static_assert(has_func<int>);

static_assert 失败了,而我预计它会成功。我做错了什么?

最佳答案

问题是第二个模板参数的默认值E来自主模板,它是void并且不匹配专门化的模板参数;特化为decltype(func_impl<T>::apply(std::declval<T>())) (即本例中的 int)。然后将选择主要模板而不是特化。

你可以使用 std::void_t .

template<class T>
constexpr inline bool has_func<T, std::void_t<decltype(func_impl<T>::apply(std::declval<T>()))>> = true;
// ^^^^^^^^^^^ ^

LIVE

关于c++ - 为什么我不能推断静态成员函数是否存在,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/53498172/

26 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com