libstdc++中std::pair的冗余typedef声明存在的原因是什么？

我在阅读GCC实现的std::pair源码时，对其中的冗余typedef声明感到困惑：明明只有少数函数（比如移动赋值运算符）会用到first_type和second_type，为什么不直接使用模板参数_T1和_T2呢？

对应的源码片段如下：

template<typename _T1, typename _T2>
struct pair
: public __pair_base<_T1, _T2>
{
    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;                ///< The second member

    /// Move assignment operator
    constexpr pair&
    operator=(pair&& __p)
    noexcept(_S_nothrow_assignable<_T1, _T2>())
    requires (_S_assignable<_T1, _T2>())
    {
        first = std::forward<first_type>(__p.first);
        second = std::forward<second_type>(__p.second);
        return *this;
    }
};

核心原因如下： #

• C++标准的强制要求：这是C++标准对std::pair接口的明确规定，属于必须对外暴露的公共类型成员。用户的泛型代码依赖这些名称来获取pair元素的类型，是标准库接口一致性的体现。
• 泛型编程的通用性：在泛型代码中，处理任意pair类型时，first_type是统一的访问方式——不同编译器的std::pair实现可能用不同的模板参数名（比如有的用T1而非_T1），但first_type是标准统一的名称，能保证代码跨编译器兼容。同时，first_type的语义更清晰，比_T1这种内部命名可读性强得多。
• 继承与扩展场景的适配：std::pair继承自__pair_base，在基类或其他扩展逻辑中，通过typedef访问类型比直接依赖模板参数更灵活。当pair被特化或派生时，这些typedef能保持外部接口的一致性，即使底层模板参数变化，外部代码依然能通过first_type获取正确类型。
• 库内部实现的一致性：你看到的只是源码片段，实际上在库的其他部分（比如make_pair、构造函数、swap，或者依赖pair的std::tuple、std::map等组件）都会用到这些typedef。统一使用类型别名能避免混用模板参数名，减少出错概率，保持代码风格一致。

内容的提问来源于stack exchange，提问作者Bird