C++中void*转struct/class指针的正确方法及错误规避

一、void*转struct/class指针的正确方法 #

• 使用static_cast是标准语法，但必须确保void*的原始指向类型与目标类型完全一致。这是因为static_cast对void*的转换不做类型校验，完全依赖开发者的正确性保证。
• 注意：dynamic_cast无法直接用于void*（它要求目标类型是多态类型，且只能在继承体系内转换）；const_cast仅处理const/volatile属性，不适合类型转换。

二、避免错误转换的方案 #

编译期拦截（优先推荐） #

• 彻底避免void*：用模板或多态替代void*，让编译器在编译期保留类型信息：
  比如将fun改成模板函数，编译时直接校验传入类型：

  template<typename T>
  void fun(T* msg) {
      // 直接操作T*，无需转换
      cout << "casting is done." << endl;
  }
  

  若传入stu*给期望clg*的场景，编译器会直接报错。
• 用std::variant替代void*：std::variant是类型安全的联合体，编译期就能限制可传入的类型，运行期也能做类型检查：

  #include <variant>
  using Msg = std::variant<stu*, clg*>;
  
  void fun(Msg msg) {
      if (std::holds_alternative<clg*>(msg)) {
          clg* myclg = std::get<clg*>(msg);
          // 处理逻辑
      } else {
          cout << "错误：类型不匹配" << endl;
      }
  }
  

运行期检查（必须用void*时的妥协方案） #

• 给结构体加类型标记：在所有需要转换的结构体开头添加类型枚举，转换前先校验标记：

  enum class TypeTag { STU, CLG };
  
  struct stu {
      TypeTag tag = TypeTag::STU;
      int x;
      int y;
      int z;
  };
  
  struct clg {
      TypeTag tag = TypeTag::CLG;
      int x;
      float y;
      char z;
  };
  
  void fun(void *msg) {
      TypeTag* tag_ptr = static_cast<TypeTag*>(msg);
      if (*tag_ptr != TypeTag::CLG) {
          cout << "错误：无效类型转换" << endl;
          return;
      }
      clg* myclg = static_cast<clg*>(msg);
      cout << "casting is done." << endl;
  }
  

• 利用多态+dynamic_cast：如果结构体可以继承一个带虚函数的基类，可先转成基类指针再用dynamic_cast检查（转换失败返回nullptr）：

  struct Base {
      virtual ~Base() = default; // 虚函数开启多态
  };
  
  struct stu : Base {
      int x; int y; int z;
  };
  
  struct clg : Base {
      int x; float y; char z;
  };
  
  void fun(void *msg) {
      Base* base_ptr = static_cast<Base*>(msg);
      clg* myclg = dynamic_cast<clg*>(base_ptr);
      if (myclg) {
          cout << "casting is done." << endl;
      } else {
          cout << "错误：无效类型转换" << endl;
      }
  }
  

三、你的代码为什么能编译且不崩溃？ #

• C++标准允许static_cast在void和任意对象指针之间转换，编译器不会校验原始类型与目标类型是否匹配——因为void本身不携带类型信息。
• 你的代码仅执行了指针转换，没有访问myclg的成员，因此没触发未定义行为。如果尝试访问myclg->y，会因为stu和clg的内存布局差异（stu::y是int，clg::y是float）读取错误内存，大概率出现乱码或崩溃。

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