[Дизайн и эволюция] Дискриминация шаблона на примере макроса OUT_TO_STREAM

#ifndef OUT_TO_STREAM
    #define OUT_TO_STREAM(type_)  
        template<class T>friend   
        ::std::basic_ostream<T>&  
        operator<<(::std::basic_ostream<T>& os, const type_& obj )
#endif
 
#ifndef FROM_STREAM
#define FROM_STREAM(type_)  
        template<class T>friend   
        ::std::basic_istream<T>&  
        operator>>(::std::basic_istream<T>& is, type_& obj )
#endif
 
#include <iostream>
 
struct sample
{
    OUT_TO_STREAM(sample)
    {
        return os << "name: " << obj.mName 
                 <<" : age: " << obj.mAge <<'n';
    }
    
    FROM_STREAM(sample)
    {
        return is >> obj.mName >> obj.mAge;
    }
 
    std::string mName;
    size_t      mAge;
};
 
int main()
{
    sample s;
    
    std::cin >> s;
    std::cout <<"content: "<< s<<std::endl;
}

OUT_TO_STREAM(sample) {
    // здесь мы гвоздями прибились к ansi-char
    return os << "name: " << obj.mName <<" : age: " << obj.mAge <<'n';
}

OUT_TO_STREAM(sample) {
    // здесь мы гвоздями прибились к unicode
    return os << L"name: " << obj.mName << L" : age: " << obj.mAge <<'n';
    // obj.mName - std::wstring
}

struct sample
{
    OUT_TO_STREAM(sample) {
        return os << "общий случай: " << obj.mAge<<'n';
    }
    OUT_TO_STREAM(sample, char) {
        return os << "ansi-версия: " << obj.mName <<'n';
    }
    OUT_TO_STREAM(sample, wchar_t) {
        return os << L"unicode-версия: " << to_wstring(obj.mName) << L'n';
    }
 
    std::string mName;
    size_t      mAge;
};

// ===================================================================================
// ===================================================================================
// ===================================================================================
 
    // workaround.h
 
    // --- поддержка перегрузки макросов до 7 аргументов включительно
    #define dFUNC_CHOOSER_7(_f1, _f2, _f3, _f4, _f5, _f6, _f7, N, ... ) N
 
    #define dFUNC_RECOMPOSER(argsWithParentheses)\
        dFUNC_CHOOSER_7 argsWithParentheses
 
    #define dMACRO_CHOOSER(target_, ...)\
        dCHOOSE_FROM_ARG_COUNT(target_, target_##_NO_ARG_EXPANDER __VA_ARGS__ ())
 
    #define dCHOOSE_FROM_ARG_COUNT(arg_, ...) \
        dFUNC_RECOMPOSER((__VA_ARGS__, arg_##_7, arg_##_6, arg_##_5, \
            arg_##_4, arg_##_3, arg_##_2, arg_##_1, ))
 
// ===================================================================================
// ===================================================================================
// ===================================================================================
 
    // OUT_TO_STREAM
    
    #define dIS__(char_)\
        ::std::is_same<Ch, char_>::value
 
    #define dSTREAM__\
        ::std::basic_ostream<Ch>
 
    #define dDISCRIMINATOR__(type_)\
        class O = type_,           \
        typename ::std::enable_if< ::std::is_same<O, type_>::value >::type* = nullptr
 
    // --- специализация для указанного типа символа
    #define dOUT_TO_STREAM_2(type_, char_)  \
        template<class Ch>friend            \
        typename ::std::enable_if< dIS__(char_), dSTREAM__ >::type&  \
        operator<<(dSTREAM__& os, const type_& obj )
 
    // --- общий случай
    #define dOUT_TO_STREAM_1(type_) \
        template<class Ch, dDISCRIMINATOR__(type_) > friend \
        dSTREAM__&  \
        operator<<(dSTREAM__& os, const O& obj)
 
    #define dOUT_TO_STREAM_0() error
 
    #define dOUT_TO_STREAM_NO_ARG_EXPANDER() \
        ,,,,,,,dOUT_TO_STREAM_0
 
    // --- пользовательский макрос
    #define OUT_TO_STREAM(...)\
        dMACRO_CHOOSER( dOUT_TO_STREAM, __VA_ARGS__)(__VA_ARGS__)
 
// ===================================================================================
// ===================================================================================
// ===================================================================================
    
#include <iostream>
#include <string>
 
struct sample
{
    // для общего случая
    OUT_TO_STREAM(sample)
    {
        //когда os умеет кушать все подряд
        return os << obj.age;
    } 
    
    // ansi
    OUT_TO_STREAM(sample, char)
    {
        return os << "ansi: " << "name: " << obj.name <<" : age: " << obj.age;
    }
    
    // unicode
    OUT_TO_STREAM(sample, wchar_t)
    {
        return os << L"unicode: name: " << obj.wname <<L" : age: " << obj.age;
    }
    
    std::string   name = "ololo";
    std::wstring wname = L"ololo";
    size_t         age = 18;
};
 
 
 
int main()
{
    std::cout << "Hello, world!\n";
    sample s;
    
    std::cout  << s << std::endl;
    std::wcout << s << std::endl;
}

template<class Ch>friend

template<class Ch, dDISCRIMINATOR__(type_) > friend \

// после раскрытия макроса это будет выглядеть так:
template<class Ch, 
    class O = type_, 
    typename ::std::enable_if< 
        ::std::is_same<O, type_>::value 
    >::type* = nullptr
>

template <typename T>
struct is_complete_helper {
    template <typename U>
    static auto test(U*)  -> std::integral_constant<bool, sizeof(U) == sizeof(U)>;
    static auto test(...) -> std::false_type;
    using type = decltype(test((T*)0));
};
 
template <typename T>
struct is_complete : is_complete_helper<T>::type {};