模板基类场景下CTAD推导失败问题咨询

针对你遇到的EntityView myview{2};无法通过CTAD推导模板参数的问题，有以下几种直接有效的解决方式：

1. 显式指定模板参数（最简单直接） #

直接使用空尖括号<>, 明确告诉编译器使用默认模板参数，无需进行推导：

EntityView<> myview{2};

空尖括号会触发编译器采用EntityView定义中的默认Allocator参数（即std::allocator<int>），跳过CTAD流程。

2. 添加类模板推导指引（引导CTAD使用默认参数） #

为EntityView添加自定义的推导指引，明确告知编译器当用int参数构造时，使用默认的模板参数：

// 假设EntityView的定义如下
template<typename Alloc = std::allocator<int>>
class EntityView : public Entity {
public:
    using Entity::Entity; // 继承基类构造函数
};

// 添加推导指引
template<typename Alloc = std::allocator<int>>
EntityView(int) -> EntityView<Alloc>;

这样编译器在遇到EntityView myview{2};时，会根据推导指引自动采用默认的Alloc参数，完成模板参数推导。

3. 显式禁用CTAD（C++20及以上） #

如果你完全不想让编译器进行CTAD，可以通过删除默认推导路径来强制要求显式指定模板参数：

template<typename Alloc = std::allocator<int>>
class EntityView : public Entity {
public:
    using Entity::Entity;
    // 禁用CTAD，强制显式指定模板参数
    EntityView() = delete;
};

不过这种方式会限制使用场景，更推荐前两种方法。

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