C++类型擦除模式下如何在编译期检测隐藏类型以避免非法赋值

我很熟悉Klaus Iglberger在《C++ Software Design》里讲的这个手动分派类型擦除的例子，你遇到的问题确实是类型擦除场景中典型的「灵活性换安全」的权衡问题——咱们用类型擦除把不同形状统一成Shape接口，但代价是编译期会丢失底层具体类型的信息，直接实现编译期检测有不小的限制，不过我们可以通过两种方案解决这个问题：

方案1：运行期类型检查（最直接，不破坏类型擦除的灵活性） #

这是最容易落地的方案，利用你已经在Shape中保存的type_id_成员，在赋值操作中添加类型匹配校验，能快速拦截非法赋值：

修改你的Shape::operator=成员函数：

Shape& operator=( Shape const& other ) {
    // 先检查底层类型是否一致，不一致直接抛出异常（或用断言做开发期校验）
    if (type_id_ != other.type_id_) {
        throw std::invalid_argument("Cannot assign Shape with different underlying type");
        // 开发阶段可以用断言快速定位问题：
        // assert(type_id_ == other.type_id_ && "Shape assignment type mismatch!");
    }

    // 原有的拷贝交换逻辑保持不变
    using std::swap;
    Shape copy( other );
    swap( pimpl_, copy.pimpl_ );
    swap( draw_, copy.draw_ );
    swap( clone_, copy.clone_ );
    return *this;
}

这样当你尝试给底层类型不同的Shape赋值时，会在运行期立刻抛出异常，避免后续逻辑出现更隐蔽的错误。

方案2：编译期限制（需调整设计，牺牲灵活性换编译期安全） #

如果你确实希望在编译期就阻止这种非法赋值，那需要调整Shape的设计思路——因为纯类型擦除会让编译器丢失底层类型信息，所以我们需要通过一些技巧让编译器重新感知到底层类型的差异：

核心思路 #

把Shape的赋值操作从普通成员函数改成模板成员函数，结合SFINAE和类型标签，仅允许底层类型匹配的Shape之间赋值。不过要注意：这种方案会牺牲部分类型擦除的灵活性，因为我们需要在编译期保留部分底层类型的线索。

具体实现步骤 #

1. 首先，在OwningModel中暴露底层形状类型的标签：

template<typename ShapeT, typename DrawStrategy>
struct OwningModel {
    using UnderlyingShapeType = ShapeT; // 新增：暴露底层形状类型
    OwningModel( ShapeT value, DrawStrategy drawer ) 
        : shape_( std::move(value) ) , drawer_( std::move(drawer) ) {}
    ShapeT shape_;
    DrawStrategy drawer_;
};

2. 给Shape类添加模板化的赋值操作，并用SFINAE限制仅底层类型匹配时可用：

class Shape {
public:
    // ... 原有成员 ...

    // 禁用默认的非模板赋值操作
    Shape& operator=(const Shape&) = delete;

    // 仅当底层类型匹配时才启用的模板赋值操作
    template<typename ShapeT, typename DrawStrategy>
    typename std::enable_if_t<true, Shape&>
    operator=(const Shape& other) {
        // 运行期兜底检查（防止通过非模板路径绕过）
        assert(type_id_ == other.type_id_ && "Shape assignment type mismatch!");
        
        using std::swap;
        Shape copy( other );
        swap( pimpl_, copy.pimpl_ );
        swap( draw_, copy.draw_ );
        swap( clone_, copy.clone_ );
        return *this;
    }

    // ... 原有成员 ...
};

注意事项 #

这种方案的局限性在于：它只能在编译期检测到那些能被模板推导识别的底层类型匹配场景，对于完全动态的Shape实例（比如从函数返回的Shape），依然需要运行期检查作为兜底。

为什么你的原代码允许这种非法赋值？ #

你的Shape是一个单一的非模板类，编译器在处理shape1 = shape2;时，只会检查它们都是Shape类型，完全无法感知到底层的Circle和Square的差异——这正是类型擦除的核心特性：把不同的具体类型统一成一个接口类型，但代价就是编译期丢失了具体类型的信息。

内容来源于stack exchange