在C语言函数声明中能否指定指针类型参数的指针对齐要求？

可以在函数声明里指定指针参数指向地址的对齐属性，但这依赖编译器扩展，标准C本身没有直接支持的语法。以下是具体实现方式：

编译器扩展方案（GCC/Clang） #

你提到的__attribute__((aligned(16)))确实可以用来指定指针指向地址的对齐，关键是要将属性应用到指针的目标类型限定上，而非指针参数本身的存储对齐。

方式1：直接修饰指针参数类型 #

修改函数声明，将对齐属性附加到指针类型上：

void f(void * __attribute__((aligned(16))) p);

这个声明告诉编译器：传入的指针p必须指向一个16字节对齐的地址。编译器会在编译期检查调用处的指针是否满足要求（开启-Wcast-align警告选项时，会对未对齐的指针转换发出警告），同时可以基于对齐假设做优化。

方式2：使用对齐类型的指针 #

先定义一个带对齐属性的类型，再用指向该类型的指针作为函数参数：

typedef _Alignas(16) char aligned16_char;
void f(aligned16_char *p);

这种方式更直观，调用时如果传入的指针指向未对齐的对象，编译器会直接触发类型不匹配的警告（或错误，取决于编译选项）。

标准C兼容方案 #

如果需要严格遵循标准C，无法在函数签名中直接指定指向地址的对齐要求，只能在函数内部做运行时检查：

#include <stdint.h>
#include <assert.h>

void f(void *p) {
    // 检查指针是否16字节对齐
    assert((uintptr_t)p % 16 == 0 && "Pointer must be 16-byte aligned");
    // 或者用__builtin_trap()直接终止程序，避免运行时开销
    // if ((uintptr_t)p % 16 != 0) __builtin_trap();
    
    // 后续业务逻辑
}

这种方式的缺点是无法在编译期发现问题，只能在运行时捕获错误。

注意事项 #

• 编译器扩展方案仅适用于GCC、Clang、ICC等支持GNU扩展的编译器，MSVC有类似的__declspec(align(N))但用法略有不同。
• 即使声明了对齐要求，仍需确保调用方传入的指针确实满足对齐——编译器的检查不是绝对的，比如通过void*强制转换绕过类型检查时，仍可能传入未对齐指针。

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