Question

在编写代码时，C ++结构和类几乎可以互换，这是well-established and a canonical reference question。

但是，如果我想链接到现有的代码，如果我将结构重新声明为类，我可以期望它有任何区别（例如，中断，鼻子恶魔等），反之亦然，在原始代码生成后的标题中？

所以情况是类型被编译为结构（或类），然后然后将头文件更改为另一个声明，然后将其包含在我的项目中。

现实世界的用例是我使用SWIG自动生成代码，根据是否给定结构或类，生成不同的输出;我需要将其中一个更改为另一个以使其输出正确的界面。

示例是here (Irrlicht, SVertexManipulator.h) - 给定：

struct IVertexManipulator
{
};

我正在机械地重新声明：

/*struct*/class IVertexManipulator
{public:
};

原始库使用原始标题进行编译，不受影响。包装器代码使用修改后的表单生成，并使用它们进行编译。然后将这两个链接到同一个程序中以便一起工作。假设我为两个库使用完全相同的编译器。

这种事情是不确定的？ “未定义”，但预计会在现实编译器上工作？完全允许吗？

我正在进行的其他类似更改包括从参数中删除一些默认值（以防止歧义），以及从SWIG不可见类型的几个类中删除字段声明（这会改变类的结构，< em>但是我的理由是生成的代码应该需要那些信息，只是链接到成员函数。再次，这会造成多大的破坏？

e.g。 IGPUProgrammingServices.h：

s32 addHighLevelShaderMaterial(
    const c8* vertexShaderProgram,
    const c8* vertexShaderEntryPointName/*="main"*/,
    E_VERTEX_SHADER_TYPE vsCompileTarget/*=EVST_VS_1_1*/,
    const c8* pixelShaderProgram=0,
...

CIndexBuffer.h：

public:
    //IIndexList *Indices;

......等等。其他更改包括使用typedef替换某些模板参数类型，并从某些结构中删除packed属性。同样，如果更改的结构声明从未在机器代码中实际使用（仅生成链接到主库中的访问器函数的名称），似乎应该没有问题，但这是否可靠？永远案例？

Answer 1

这是技术上未定义的行为。

3.2 / 5：

在程序中可以有多个类类型的定义，[...或者应该在头文件中定义的其他内容......]，前提是每个定义出现在不同的翻译单元中，并提供定义满足以下要求。鉴于在多个翻译单元中定义了名为D的实体，那么



D的每个定义都应包含相同的令牌序列;以及



...



......如果D的定义满足所有这些要求，那么程序的行为应该像D的单一定义一样。如果D的定义不满足这些要求，则行为未定义。

基本上，您要将第一个令牌从struct更改为class，并根据需要插入令牌public和:。标准不允许这样做。

但在我熟悉的所有编译器中，这在实践中会很好。

我正在进行的其他类似更改包括从参数中删除一些默认值（以防止歧义）

如果声明不符合类定义，那么这实际上是正式允许的。 TU中的不同转换单元甚至不同的范围可以定义不同的默认函数参数。所以你在那里也可能很好。

其他更改包括使用typedef替换某些模板参数类型

也正式允许在类定义之外：使用不同方式命名相同类型的函数的两个声明引用相同的函数。

...删除字段声明...并从某些结构中删除packed属性

现在你处于严重的危险境地。我不熟悉SWIG，但是如果你做这种事情，你最好确保使用这些“错误”定义的代码永远不会：

创建或销毁类类型
定义一个继承或包含类类型成员的类型
使用类
调用使用类的非静态数据成员的内联或模板函数
调用类类型或派生类型的virtual成员函数
尝试找到sizeof或alignof班级类型

将结构更改为类（和其他类型更改）和ABI /代码生成

1 个答案: