C++可变参数Tuple类构造函数崩溃问题求解

首先明确问题根源：你试图通过typeid(**pobj)触发bad_typeid来终止循环的做法是未定义行为。当pobj指向空指针或无效内存时，解引用*pobj本身就会直接导致段错误，而非触发bad_typeid——bad_typeid仅在解引用指向多态类型的空指针时才会抛出，其他场景的无效解引用都是未定义行为，崩溃是必然结果。

以下是无需手动传入参数个数的可行方案：

1. 使用哨兵值作为终止标记 #

这是C风格可变参数最常用的安全实现方式：约定最后一个参数必须是nullptr，遍历到nullptr时停止循环。

示例代码：

class Tuple {
public:
    Tuple(Object* first, ...) {
        va_list args;
        va_start(args, first);
        
        int count = 0;
        Object* current = first;
        while (current != nullptr) {
            // 处理current指向的对象
            count++;
            current = va_arg(args, Object*);
        }
        
        va_end(args);
        // 基于count完成后续逻辑
    }
};

// 调用时必须在末尾传入nullptr
Tuple t(obj1, obj2, obj3, nullptr);

这种方式完全避免了无效指针解引用的风险，逻辑清晰且稳定，无需依赖异常控制流程。

2. 改用C++可变模板参数（推荐） #

如果代码基于C++11及以上标准，直接用可变模板参数替代C风格可变参数是类型安全且最简洁的方案：

示例代码：

class Tuple {
public:
    // 可变模板构造函数，编译期自动推导参数个数与类型
    template<typename... Args>
    Tuple(Args&&... args) {
        // 编译期检查所有参数是否可转换为Object*
        static_assert((std::is_convertible_v<Args, Object*> && ...), "All arguments must be Object*");
        constexpr int count = sizeof...(args); // 直接获取参数个数
        
        // 展开处理每个参数
        ([&](Object* obj) {
            // 处理单个obj的逻辑
        }(std::forward<Args>(args)), ...);
    }
};

// 调用时直接传参，无需哨兵或手动指定个数
Tuple t(obj1, obj2, obj3);

这种方式彻底抛弃了C风格可变参数的不安全特性，编译器会在编译期完成类型检查与参数计数，没有运行时的未定义行为风险，是现代C++的最佳实践。

原方案不可行的核心原因 #

再次明确：typeid(**pobj)的行为在pobj无效时完全不受标准约束——仅当*pobj是指向含虚函数的多态类型的空指针时，才会抛出bad_typeid；如果*pobj是非多态类型的空指针，或pobj本身为空，解引用操作会直接触发段错误，这种依赖未定义行为的逻辑根本不可靠。

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