Чем аргументы шаблона конструктора по умолчанию могут отличаться от аргументов класса в C++? ⇐ C++

[Anonymous]

Прочитав реализацию std::pair в исходном коде gcc, я обнаружил один из конструкторов по умолчанию, как показано ниже:

Код: Выделить всё

  template
struct pair
: public __pair_base
{
typedef _T1 first_type;    ///< The type of the `first` member
typedef _T2 second_type;   ///< The type of the `second` member

_T1 first;                 ///< The first member
_T2 second;
...
template ::type = true>
constexpr pair()
: first(), second() { }
...
}

Мой вопрос: при использовании ctor по умолчанию для создания объекта также самое время создать экземпляр объекта класса, как показано ниже:

Код: Выделить всё

std::pair p;

Чем _U1 может отличаться от _T1? Спасибо, ребята.


Подробнее здесь: https://stackoverflow.com/questions/787 ... from-those