Объясните принцип шаблона Common_type

template<class _Ty0,
    class _Ty1>
    struct common_type<_Ty0, _Ty1>
    {   // type is common type of _Ty0 and _Ty1 for two arguments
    typedef typename decay<
        decltype(_Always_false<_Ty0>::value
            ? _STD declval<_Ty0>()
            : _STD declval<_Ty1>())
    >::type type;
    };

typedef typename decay<_Ty1>::type type;

(_Always_false<_Ty0>::value
            ? _STD declval<_Ty0>()
            : _STD declval<_Ty1>()

_STD declval<_Ty1>()

template<class _Ty>
    typename add_rvalue_reference<_Ty>::type
        declval() _NOEXCEPT;

decltype(_Always_false<_Ty0>::value
            ? _STD declval<_Ty0>()
            : _STD declval<_Ty1>())

add_rvalue_reference<_Ty1>::type

decay<add_rvalue_reference<_Ty1>::type>

typedef typename decay<_Ty1>::type type;

decltype(_Always_false<_Ty0>::value ? _Ty0: _Ty1>)

decltype(_Always_false<_Ty0>::value ? _Ty0() : _Ty1()>)

template <typename T>
T declval();

common_type<int[3], int[4]>::type; // -> int *

class C
{};
 
class A
{
public:
    operator C() const
    {
        return C();
    }
};
 
class B
{
public:
    operator C() const
    {
        return C();
    }
    /*
    operator A() const
    {
        return A();
    }
    */
};
 
template <>
struct std::common_type<A, B>
{
    typedef C type;
};
 
int main()
{
    std::common_type<A, B>::type w;
    class C c = w;