C++中vec2与vec3结构体互相转换构造的实现问询

我在头文件中定义了如下两个结构体：

struct vec2{
    float x;
    float y;
    vec2() : x(0), y(0) {}
};
struct vec3{
    float x;
    float y;
    float z;
    vec3() : x(0), y(0), z(0) {}
};

我已经通过给vec3添加构造函数实现了vec2到vec3的转换：

// 添加到vec3结构体中
vec3(vec2 a) : x(a.x), y(a.y), z(0) {}

对应的使用代码：

vec2 a2 = {2,4};
vec3 a3 = vec2(a2); // a3的z值为0

现在我希望实现反向转换：

vec3 a3 = {1,2,4};
vec2 a2 = vec3(a3); // 丢弃a3的z分量

请问这是否可行？是否需要通过typedef让编译器提前知晓两个结构体的大小？

1. 功能完全可行 #

只需要给vec2添加一个接收vec3的构造函数即可实现反向转换，不需要依赖typedef。

2. 正确的代码实现 #

需要注意结构体的定义顺序，避免编译器因未识别类型而报错，推荐采用分离声明与实现的方式：

// 头文件中：
// 先声明vec3，让vec2能识别该类型
struct vec3;

struct vec2{
    float x;
    float y;
    vec2() : x(0), y(0) {}
    // 声明接收vec3的构造函数，暂不实现
    vec2(const vec3& a);
};

struct vec3{
    float x;
    float y;
    float z;
    vec3() : x(0), y(0), z(0) {}
    // vec2转vec3的构造函数
    vec3(const vec2& a) : x(a.x), y(a.y), z(0) {}
};

// 在vec3完整定义后，实现vec2的构造函数
vec2::vec2(const vec3& a) : x(a.x), y(a.y) {}

3. 验证代码 #

在C++文件中可以正常使用两种转换：

// vec2转vec3
vec2 a2 = {2,4};
vec3 a3 = a2; // 等价于vec3(a2)，a3.z=0

// vec3转vec2
vec3 a3 = {1,2,4};
vec2 a2 = a3; // 等价于vec2(a3)，丢弃z分量，a2.x=1、a2.y=2

4. 关于typedef的说明 #

完全不需要使用typedef。typedef只是给已有类型起别名，不会改变编译器对结构体大小、成员的认知。只要头文件中包含完整的结构体定义（或正确的前向声明+分离实现），编译器就能正确处理类型转换。

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