Apple Clang下结构体默认构造函数问题及代码可移植性咨询

typedef struct {
    int x;
    int y;
} Test;

int main() {
    // Apple Clang下编译失败
    Test test1 = Test(10, 5);

    // 两种编译器都支持
    Test test2 = { .x = 10, .y = 5 };

    // Apple Clang下编译失败
    Test *test3 = new Test(10, 5);
    return 0;
}

上述代码在**G++ 13.2.0（Ubuntu环境）中可正常编译，但在Apple Clang 15.0.0（Mac环境）**中编译失败，报错信息如下：

no matching constructor for initialization of 'Test'
candidate constructor (the implicit copy constructor) not viable: requires 1 argument
candidate constructor (the implicit move constructor) not viable: requires 1 argument
candidate constructor (the implicit default constructor) not viable: requires 0 arguments

核心疑问 #

1. 为什么G能编译，Clang不行？难道G会为结构体生成匹配成员数量的带参构造函数？这不符合标准吗？
2. 有没有一行式方法在堆上分配并初始化该结构体？
3. 如何让代码具备更好的可移植性？

对应的CMakeLists配置：

cmake_minimum_required(VERSION 3.29)
project(untitled)

set(CMAKE_CXX_STANDARD 26)

add_executable(untitled main.cpp)

问题解析与解决方案 #

1. 编译器行为差异的原因

标准C++中，没有用户定义构造函数的结构体属于聚合类型，编译器只会为其生成默认构造、拷贝构造、移动构造这些隐式构造函数，不会生成匹配成员数量的带参构造函数。

G能编译是因为它默认开启了GNU语言扩展，允许用Test(10,5)这种类似构造函数调用的语法初始化聚合类型——这是G的非标准特性，并非C++标准要求的行为。而Clang默认不启用该扩展，会严格按照标准校验代码，因此报错。

2. 堆上一行式初始化的标准写法

有两种符合C++标准的一行式写法，所有主流编译器都支持：

• 基础聚合初始化：

  Test *test3 = new Test{10, 5};
  

• C++20及以上支持的指定成员初始化（和栈上test2的写法一致）：

  Test *test3 = new Test{.x = 10, .y = 5};
  

3. 提高代码可移植性的方法

• 禁用GNU扩展：在CMake中添加编译选项，强制G++按照标准编译，避免依赖非标准特性：

  add_compile_options(-pedantic-errors)
  

  这样G++也会拒绝Test(10,5)这种非标准写法，帮助提前发现可移植性问题。
• 统一使用标准聚合初始化语法：不管栈还是堆，都用{}而非()来初始化结构体，确保所有编译器行为一致。
• 显式定义构造函数：如果更习惯用Test(10,5)的语法，可以给结构体显式添加构造函数，让它不再是聚合类型，此时所有编译器都会支持该写法：

  typedef struct {
      int x;
      int y;
      Test(int x_, int y_) : x(x_), y(y_) {}
  } Test;
  

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