标准库类型析构函数是否符合C++标准？跨编译器实现多态迭代器问题

问题结论 #

你的代码不符合C++标准，无法跨编译器是必然结果，问题核心是析构函数调用语法依赖了标准库实现细节。

标准依据 #

1. 析构函数名查找规则：根据C++标准[expr.prim.id.dtor]条款，析构函数名的查找需要和调用对象的类型名严格匹配。你使用的~iterator()、~reverse_iterator()并不是迭代器的真实类名，只是标准库给迭代器取的别名：
   • GCC的libstdc++实现中，list迭代器的类名恰好为iterator，所以你的代码刚好可以编译
   • MSVC的list迭代器类名为_List_iterator，Clang的libc++实现中类名为__list_iterator，自然找不到对应的析构函数名
2. 标准库迭代器的析构要求：根据C++标准[iterator.requirements.general]条款，所有标准库提供的迭代器类型（包括反向迭代器）都满足平凡可析构要求，也就是说你根本不需要手动调用它们的析构函数，直接释放内存不会产生资源泄漏。

现有代码的其他问题 #

• 拷贝构造函数中直接读取orig变量，但orig尚未从传入对象赋值，属于未定义行为
• 构造/拷贝构造函数中switch(orig) if(0)的写法不符合常规语法规范，可读性极差且容易出问题

替代方案 #

方案1：修复现有union实现

不需要手动写析构函数名，直接用C++17提供的std::destroy_at即可自动调用正确的析构函数，修改后的析构函数示例：

#include <memory> // for std::destroy_at, std::addressof

~val_origin() {
    switch (orig) {
        case ORIG_ENUM_TYPE:
            std::destroy_at(std::addressof(iterenum));
            break;
        case ORIG_STRUC_TYPE:
            std::destroy_at(std::addressof(iterunorstr));
            break;
        case ORIG_TYPEDEF:
            std::destroy_at(std::addressof(vartypedef));
            break;
        default:
            break;
    }
}

同时要修复拷贝构造函数，先给this->orig赋值再做分支处理。

方案2：用std::variant替代手动实现的union

C++17开始提供的std::variant会自动管理成员的生命周期，不需要手动写placement new和析构调用，完全避免这类未定义行为，代码会简洁安全很多：

#include <variant>

struct val_origin {
    using IterEnum = std::list<std::list<std::string>>::iterator;
    using IterUnorStr = std::list<std::list<std::list<struct var>>>::iterator;
    using IterTypedef = std::list<struct var>::reverse_iterator;
    
    std::variant<std::monostate, IterEnum, IterUnorStr, IterTypedef> iter;
    enum ORIG_ENUM orig;

    // 构造、拷贝、赋值都不需要手动写内存管理逻辑，variant自动处理
};

方案3：类型擦除实现通用多态迭代器

如果你的核心需求是对外暴露统一的迭代器接口，隐藏具体类型，推荐用类型擦除实现通用迭代器，不需要上层模块感知具体迭代器类型：

• 定义一个抽象基类，声明你需要的所有迭代器操作（operator++、operator*、operator==等）
• 对每个具体迭代器类型实现派生类，重载对应的操作
• 对外封装一个代理类，内部持有基类指针，转发所有迭代器操作
• 也可以直接使用成熟的第三方实现，比如Boost库的boost::any_iterator

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