使用指针访问联合体成员与结构体语法相同，但联合体内存共享，需注意未定义行为。1. 联合体所有成员共享同一内存地址，任一成员赋值会覆盖其他成员；2. 通过指针用->操作符访问成员，语法与结构体一致；3. 读取非最后写入的成员导致未定义行为；4. 可通过判别器字段或封装类提升类型安全；5. C++17推荐使用std::variant替代传统联合体以增强安全性；6. 联合体指针适用于内存受限、低层数据解析及C语言互操作等场景。
在C++中，使用指针访问联合体（Union）成员与访问结构体（Struct）成员的方式在语法上是相似的，核心在于获取联合体变量的地址，然后通过指针解引用操作符（
->
要使用指针访问联合体成员，首先你需要定义一个联合体类型，然后声明一个该联合体类型的变量。接着，你可以声明一个指向该联合体类型的指针，并将其指向联合体变量的地址。一旦指针被正确初始化，就可以通过箭头操作符
->
这里有一个简单的例子来展示这个过程：
#include <iostream>
#include <string> // 包含string头文件以使用std::string
// 定义一个联合体
union Data {
int i;
float f;
char c;
// 注意：联合体不推荐包含非平凡（non-trivial）类型如std::string，
// 因为它们有自己的构造函数、析构函数和赋值操作符，
// 联合体无法妥善管理它们的生命周期。
// 这里仅为演示目的，实际项目中应避免。
// std::string s;
};
int main() {
Data myData; // 声明一个联合体变量
Data* dataPtr; // 声明一个指向Data联合体的指针
dataPtr = &myData; // 将指针指向联合体变量的地址
// 通过指针访问并设置成员i
dataPtr->i = 123;
std::cout << "通过指针设置 i = " << dataPtr->i << std::endl;
// 此时，内存被重新解释为float类型
// 注意：读取非最后写入的成员是未定义行为（UB），尽管在许多系统上可能“正常”工作
std::cout << "当 i 被设置后，f 的值 (UB): " << dataPtr->f << std::endl;
std::cout << "当 i 被设置后，c 的值 (UB): " << dataPtr->c << std::endl;
// 通过指针访问并设置成员f
dataPtr->f = 45.67f;
std::cout << "通过指针设置 f = " << dataPtr->f << std::endl;
std::cout << "当 f 被设置后，i 的值 (UB): " << dataPtr->i << std::endl;
// 通过指针访问并设置成员c
dataPtr->c = 'Z';
std::cout << "通过指针设置 c = " << dataPtr->c << std::endl;
std::cout << "当 c 被设置后，f 的值 (UB): " << dataPtr->f << std::endl;
return 0;
}这段代码直观地展示了指针如何操作联合体成员。但需要强调的是，联合体的所有成员都起始于同一内存地址，并且共享同一块内存空间。这意味着当你给一个成员赋值时，实际上是覆盖了这块内存中的数据。当你试图通过指针访问另一个成员时，你是在以不同的数据类型来解释同一块内存，这在C++标准中通常被认为是未定义行为（Undefined Behavior, UB），除非你确切地知道哪个成员是当前活动的。
立即学习“C++免费学习笔记（深入）”；
从语法层面看，联合体指针和结构体指针在使用上几乎一致：它们都通过
.
->
主要相同点：
ptr->member
关键不同点：
reinterpret_cast
std::string
联合体在提供内存效率和类型双关能力的同时，也带来了显著的类型安全风险，尤其是在通过指针访问成员时。C++标准明确指出，读取一个非最后写入的联合体成员会导致未定义行为。为了规避这些问题，同时又能利用联合体的优势，有一些实践和替代方案值得考虑：
使用“标签”或“判别器”字段 (Discriminator Field)： 这是最经典的解决方案。在一个包含联合体的结构体中，添加一个额外的枚举或整型成员，作为联合体的“标签”或“判别器”，用来指示当前联合体中哪个成员是活动的。
#include <iostream>
enum DataType {
INT_TYPE,
FLOAT_TYPE,
CHAR_TYPE
};
struct Value {
DataType type; // 判别器，指示当前哪个成员是活动的
union {
int i;
float f;
char c;
} data; // 匿名联合体
};
int main() {
Value val;
Value* valPtr = &val;
valPtr->type = INT_TYPE;
valPtr->data.i = 100;
std::cout << "类型: INT, 值: " << valPtr->data.i << std::endl;
valPtr->type = FLOAT_TYPE;
valPtr->data.f = 3.14f;
std::cout << "类型: FLOAT, 值: " << valPtr->data.f << std::endl;
// 安全地访问：在访问前检查判别器
if (valPtr->type == FLOAT_TYPE) {
std::cout << "当前活动的是float: " << valPtr->data.f << std::endl;
} else {
std::cout << "当前活动的不是float。" << std::endl;
}
return 0;
}通过这种方式，在访问
valPtr->data
valPtr->type
封装在类中提供安全接口： 将联合体和判别器封装在一个类中，并通过公共方法提供类型安全的访问。这些方法可以在内部检查判别器，并在尝试访问不活动的成员时抛出异常或返回错误状态。
#include <iostream>
#include <stdexcept> // 用于std::runtime_error
class SafeData {
public:
enum DataType {
NONE_TYPE,
INT_TYPE,
FLOAT_TYPE,
CHAR_TYPE
};
SafeData() : currentType(NONE_TYPE) {}
void setInt(int val) {
data.i = val;
currentType = INT_TYPE;
}
int getInt() const {
if (currentType != INT_TYPE) {
throw std::runtime_error("Attempted to get int when current type is not int.");
}
return data.i;
}
void setFloat(float val) {
data.f = val;
currentType = FLOAT_TYPE;
}
float getFloat() const {
if (currentType != FLOAT_TYPE) {
throw std::runtime_error("Attempted to get float when current type is not float.");
}
return data.f;
}
DataType getType() const {
return currentType;
}
private:
DataType currentType;
union {
int i;
float f;
char c;
} data;
};
int main() {
SafeData sd;
SafeData* sdPtr = &sd;
sdPtr->setInt(42);
std::cout << "Int value: " << sdPtr->getInt() << std::endl;
sdPtr->setFloat(3.14159f);
std::cout << "Float value: " << sdPtr->getFloat() << std::endl;
try {
// 尝试访问不活动的成员，会抛出异常
std::cout << "Int value (error expected): " << sdPtr->getInt() << std::endl;
} catch (const std::runtime_error& e) {
std::cerr << "Error: " << e.what() << std::endl;
}
return 0;
}这种方式虽然增加了代码量，但大大提升了类型安全性，是管理复杂联合体的推荐做法。
C++17 std::variant
std::variant
std::variant
std::get
std::holds_alternative
std::visit
#include <iostream>
#include <variant> // C++17
int main() {
std::variant<int, float, char> myVariant;
// std::variant<int, float, char>* variantPtr = &myVariant; // 通常不直接用指针访问variant内部
myVariant = 100; // 存储int
std::cout << "Current value (int): " << std::get<int>(myVariant) << std::endl;
myVariant = 3.14f; // 存储float
std::cout << "Current value (float): " << std::get<float>(myVariant) << std::endl;
if (std::holds_alternative<float>(myVariant)) {
std::cout << "Holds float: " << std::get<float>(myVariant) << std::endl;
}
try {
// 尝试获取非当前活动的类型，会抛出std::bad_variant_access异常
std::cout << "Current value (int, error expected): " << std::get<int>(myVariant) << std::endl;
} catch (const std::bad_variant_access& e) {
std::cerr << "Error: " << e.what() << std::endl;
}
return 0;
}虽然
std::variant
尽管存在类型安全挑战，但在某些特定场景下，联合体及其指针访问方式仍然非常有用，甚至不可替代。这些场景通常涉及对内存的极致控制、低级别数据解释或与C语言接口的兼容性。
内存优化与嵌入式系统： 在内存资源极其有限的环境（如嵌入式系统、微控制器编程）中，联合体可以帮助你最大限度地减少内存占用。当你知道某个变量在不同时间只会持有不同类型数据中的一种时，使用联合体可以避免为每种类型都分配独立内存，从而节省宝贵的RAM。通过指针访问，可以更灵活地在不同函数或模块间传递这个共享内存区域。
低级别数据解析与协议处理 (Type Punning)： 当你需要将一块原始字节数据（例如从网络接收的数据包、文件读取的二进制数据）解释为不同的结构或数据类型时，联合体提供了一种有效的方式来实现“类型双关”。你可以定义一个联合体，其中包含不同布局的结构体或基本数据类型，然后将指针指向这块原始数据，通过联合体成员访问来“查看”数据的不同解释。 例如，解析一个包含不同消息类型的数据帧：
// 假设这是从网络接收的原始字节
unsigned char raw_buffer[16] = { /* ... 填充数据 ... */ };
// 定义联合体来解释数据
union Message {
struct Header {
unsigned short id;
unsigned short length;
} header;
struct PayloadA {
int value;
char status;
} payloadA;
struct PayloadB {
float temperature;
} payloadB;
};
Message* msgPtr = reinterpret_cast<Message*>(raw_buffer); // 将字节缓冲区解释为Message
// 此时可以通过 msgPtr->header.id, msgPtr->payloadA.value 等来访问
// 但必须确保当前内存中的数据确实符合你正在访问的成员类型。这种用法非常强大，但也最容易引入未定义行为，需要极其小心地管理当前数据的实际类型。
与C语言API或遗留代码的互操作性： C语言广泛使用联合体来实现多态性或变体类型，尤其是在系统级编程中。当C++代码需要与这些C语言库或遗留系统交互时，使用联合体及其指针是保持兼容性和直接访问这些数据结构的必要方式。C语言的联合体语义在读取非活动成员时通常是定义明确的（它只是将内存解释为另一种类型），这与C++的严格规则有所不同，因此在C++中使用时仍需谨慎。
实现自定义的“变体”类型（在C++17之前）： 在C++17引入
std::variant
总结来说，使用指针访问联合体成员主要服务于那些需要精细内存控制和低级别数据解释的场景。在现代C++中，对于更高级别的、类型安全的需求，
std::variant
以上就是C++如何使用指针访问联合体成员的详细内容，更多请关注php中文网其它相关文章！
每个人都需要一台速度更快、更稳定的 PC。随着时间的推移，垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是，许多工具可以让 Windows 保持平稳运行。
广告Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号
374
收藏
