C ++ 20- requires표현식

C ++ 20 에는 함수의 존재 여부를 확인하는 기본 제공 방법 인 requires표현식 과 같은 다양한 도구와 개념 이 있습니다. 그것들을 사용하면 optionalToString다음과 같이 함수를 다시 작성할 수 있습니다.

template<class T>
std::string optionalToString(T* obj)
{
    constexpr bool has_toString = requires(const T& t) {
        t.toString();
    };

    if constexpr (has_toString)
        return obj->toString();
    else
        return "toString not defined";
}

Pre-C ++ 20-감지 툴킷

N4502 는 C ++ 17 표준 라이브러리에 포함시킬 수있는 탐지 툴킷을 제안하여 결국 라이브러리 기본 TS v2에 포함 시켰습니다. 그 requires이후 로 표현식 에 포함되어 있기 때문에 표준에 도달하지 못할 가능성이 있지만 여전히 다소 우아한 방식으로 문제를 해결합니다. 툴킷에는 std::is_detected유형 또는 기능 감지 메타 기능을 쉽게 작성하는 데 사용할 수있는 일부 메타 기능이 도입되었습니다 . 사용 방법은 다음과 같습니다.

template<typename T>
using toString_t = decltype( std::declval<T&>().toString() );

template<typename T>
constexpr bool has_toString = std::is_detected_v<toString_t, T>;

위의 예제는 테스트되지 않았습니다. 탐지 툴킷은 아직 표준 라이브러리에서 사용할 수 없지만 제안에는 실제로 필요한 경우 쉽게 복사 할 수있는 전체 구현이 포함되어 있습니다. C ++ 17 기능으로 훌륭하게 재생됩니다 if constexpr.

template<class T>
std::string optionalToString(T* obj)
{
    if constexpr (has_toString<T>)
        return obj->toString();
    else
        return "toString not defined";
}

C ++ 14-Boost.Hana

Boost.Hana는 분명히이 특정 예제를 기반으로하며 설명서에 C ++ 14에 대한 솔루션을 제공하므로 직접 인용하겠습니다.

[…] Hana는 is_validC ++ 14 일반 람다와 결합하여 같은 것을 훨씬 더 깔끔하게 구현할 수 있는 기능을 제공합니다 .

auto has_toString = hana::is_valid([](auto&& obj) -> decltype(obj.toString()) { });

이것은 has_toString주어진 표현식이 우리가 전달한 인수에 유효한지 여부를 반환 하는 함수 객체 를 남깁니다 . 결과는로 반환 IntegralConstant되므로 함수 결과는 어쨌든 유형으로 표시되므로 constexpr-ness는 문제가되지 않습니다. 이제는 덜 장황한 것 (하나의 라이너입니다!) 외에도 의도가 훨씬 명확합니다. 다른 이점은 has_toString고차 알고리즘으로 전달 될 수 있고 함수 범위에서 정의 될 수 있다는 점입니다. 따라서 구현 세부 사항으로 네임 스페이스 범위를 오염시킬 필요가 없습니다.

부스트 .TTI

또 다른 다소 관용적 툴킷은 이러한 검사를 수행하는 – 비록 덜 우아 -이다 Boost.TTI 부스트 1.54.0에 도입은. 예를 들어, 매크로를 사용해야합니다 BOOST_TTI_HAS_MEMBER_FUNCTION. 사용 방법은 다음과 같습니다.

#include <boost/tti/has_member_function.hpp>

// Generate the metafunction
BOOST_TTI_HAS_MEMBER_FUNCTION(toString)

// Check whether T has a member function toString
// which takes no parameter and returns a std::string
constexpr bool foo = has_member_function_toString<T, std::string>::value;

그런 bool다음를 사용하여 SFINAE 검사를 작성할 수 있습니다 .

설명

매크로 는 확인 된 유형을 첫 번째 템플리트 매개 변수로 BOOST_TTI_HAS_MEMBER_FUNCTION사용하는 메타 has_member_function_toString함수를 생성합니다. 두 번째 템플릿 매개 변수는 멤버 함수의 반환 형식에 해당하며 다음 매개 변수는 함수 매개 변수의 형식에 해당합니다. 멤버 는 클래스 에 멤버 함수가 있는지를 value포함 합니다 .trueTstd::string toString()

또는 has_member_function_toString멤버 함수 포인터를 템플릿 매개 변수로 사용할 수 있습니다. 따라서, 대체 가능 has_member_function_toString<T, std::string>::value하여 has_member_function_toString<std::string T::* ()>::value.

답변

template <class Type>
class TypeHasToString
{
    // This type won't compile if the second template parameter isn't of type T,
    // so I can put a function pointer type in the first parameter and the function
    // itself in the second thus checking that the function has a specific signature.
    template <typename T, T> struct TypeCheck;

    typedef char Yes;
    typedef long No;

    // A helper struct to hold the declaration of the function pointer.
    // Change it if the function signature changes.
    template <typename T> struct ToString
    {
        typedef void (T::*fptr)();
    };

    template <typename T> static Yes HasToString(TypeCheck< typename ToString<T>::fptr, &T::toString >*);
    template <typename T> static No  HasToString(...);

public:
    static bool const value = (sizeof(HasToString<Type>(0)) == sizeof(Yes));
};

template<class T>
auto optionalToString(T* obj)
 -> decltype(  obj->toString()  )
{
    return     obj->toString();
}
auto optionalToString(...) -> string
{
    return "toString not defined";
}

template<class T>
constexpr auto test_has_toString_method(T* obj)
 -> decltype(  obj->toString() , std::true_type{} )
{
    return     obj->toString();
}
constexpr auto test_has_toString_method(...) -> std::false_type
{
    return "toString not defined";
}

template <typename T>
struct response_trait {
    static bool const has_tostring = false;
};

template <>
struct response_trait<your_type_with_tostring> {
    static bool const has_tostring = true;
}