std::vector构造函数中std::type_identity的作用是什么？

你理解的std::type_identity_t用于解决模板推导冲突的场景没错，比如你举的foo(T x, T y)传入1.0和0时的推导矛盾。而C++23把它加到vector的带分配器构造函数里，本质也是用它抑制模板参数推导，只是解决的是类模板参数推导（CTAD）场景下的预期不符问题。

先看C++23之前的问题 #

在C++23之前，vector的带分配器拷贝/移动构造函数声明大概是这样的（简化版）：

template <typename T, typename Alloc>
class vector {
public:
    constexpr vector(const vector& other, const Alloc& alloc);
    constexpr vector(vector&& other, const Alloc& alloc);
};

当你使用类模板参数推导（CTAD）创建新vector时，编译器会尝试从构造函数的参数推导Alloc类型。如果第二个参数传递的是一个可转换为原vector分配器类型的对象，就会出现推导结果不符合预期的情况。

举个具体例子：

// 自定义两个可转换的分配器
struct Alloc1 { using value_type = int; };
struct Alloc2 {
    using value_type = int;
    operator Alloc1() const { return {}; } // Alloc2可以隐式转为Alloc1
};

// 原vector用Alloc1
std::vector<int, Alloc1> v1;

// 用CTAD创建v2，传递v1和Alloc2对象
std::vector v2(v1, Alloc2{});

在C++23之前，编译器会从第二个参数Alloc2{}推导出v2的分配器类型是Alloc2，导致v2的类型是std::vector<int, Alloc2>——但你本来可能只是想让v2继承v1的Alloc1类型，只是用Alloc2的对象来构造（因为它能转成Alloc1）。

std::type_identity_t的解决方式 #

把构造函数的第二个参数改成const std::type_identity_t<Allocator>& alloc后，type_identity_t会抑制这个参数的模板推导：编译器不会再从第二个参数推导Allocator类型，而是直接沿用第一个参数other的vector的Allocator类型。

还是上面的例子，C++23中std::vector v2(v1, Alloc2{})会正确推导v2的类型为std::vector<int, Alloc1>，因为Alloc2会被隐式转换为Alloc1，完全符合预期。

和你举的foo(T,T)例子的联系 #

本质都是用type_identity_t控制推导逻辑：

• 你的foo(T x, T y)例子是避免同一模板参数的两个参数推导冲突，比如用std::type_identity_t<T>固定其中一个参数的推导来源；
• vector的场景是避免从第二个参数推导分配器类型，强制分配器类型由第一个参数的vector决定，防止CTAD推导结果偏离预期。

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