c++ - 如何检测函数是否存在？

Question

我正在尝试检测我的函数的特定重载是否可调用。我以为我可以做类似于 this answer 的事情，但我认为问题在于函数签名 template<typename From, typename To> convert(const From&)定义明确，但实例化不是。

#include <iostream>
#include <string>

template<typename From, typename To>
To convert(const From& from)
{
    // I have a lot of additional template specializations for this function
    return from; 
}

template<typename From, typename To>
struct IsConvertible
{
    template<typename = decltype(convert<From, To>(From()))>
    static std::true_type test(int);
    template<typename T>
    static std::false_type test(...);

    static bool const value = decltype(test(0))::value;
};

int main()
{
    std::cout << "IsConvertible=" << IsConvertible<int, float>::value << std::endl;
    // Returns 1 as expected

    std::cout << "IsConvertible=" << IsConvertible<int, std::string>::value << std::endl;
    // Returns 1, expected 0. The issue seems to be that decltype(convert<From, To>(From()))
    // is somehow ok, although convert<int, std::string>(1) definitly isn't
}

我想使用 IsConvertible一些额外的元编程。 是否可以检测 template<typename From, typename To> To convert(const From&)函数实际上是可调用的？`

Answer 1

声明

template<typename From, typename To> To convert(const From& from);

你的特点

template<typename From, typename To>
struct IsConvertible

将始终检测是否存在 convert 函数。

修复它的一种方法是重载和/或 SFINAE:

template <typename> struct Tag{};

int convertImpl(tag<int>, const std::string& from);
float convertImpl(tag<float>, const std::string& from);
// overloads ...

template<typename From, typename To>
auto convert(const From& from)
-> decltype(convertImpl(tag<To>{}, from))
{
    return convertImpl(tag<To>{}, from);
}