[内容勘误] 捉虫：“C++98进阶：类型转换、动态内存与异常处理” 章节的示例代码问题

[HiAirman]

相关页面或文件

https://awesome-embedded-learning-studio.github.io/Tutorial_AwesomeModernCPP/vol1-fundamentals/03F-cpp98-casts-memory-exceptions#_2-%E5%8A%A8%E6%80%81%E5%86%85%E5%AD%98%E7%AE%A1%E7%90%86

问题类型

代码讲解不准确

当前内容

2.2小结关于placement new的示例代码中有这样一行：

// 预分配的内存缓冲区
alignas(MyClass) uint8_t buffer[sizeof(MyClass)];

问题说明

alignas() 需要传入一个2的整数幂的整型数据，使用 alignof(MyClass) 获取

建议修改

// 预分配的内存缓冲区
alignas(alignof(MyClass)) uint8_t buffer[sizeof(MyClass)];

补充材料

注：本人是C++学习者，这个勘误仅通过搜索引擎和LLM查证

[Charliechen114514]

来了来了！感谢大佬反馈！下班了第一时间修复！

[Charliechen114514]

之后会仔细调研后回复您具体的处理哈

[Charliechen114514]

@HiAirman 大佬好，感谢捉虫！我下班第一时间调研了一下，这里的话将调研结果和结论给到您：原文似乎没有错误，写法上不需要修改哈。

C++ 标准里 alignas 的对齐说明符有两种形式(第三种是形参包，跟这里无关，我们不在这里进行讨论)，其中我们关注到第二条：

写法	要求
alignas(整型常量表达式)	表达式必须求值为 0 或有效对齐值；有效对齐值通常是 2 的幂
alignas(类型)	效果等同于 alignas(alignof(类型))

您指出可能存在问题的代码片段其实没有问题~

alignas(MyClass) uint8_t buffer[sizeof(MyClass)];
//   ^^^^^^^^ 这里传的是类型(type-id),不是表达式

笔者这里也截取一下cppreference中的结论，大佬这边请：https://en.cppreference.com/cpp/language/alignas

MyClass 是一个类型,命中的是 alignas(type-id) 这条规则,标准直接规定它的效果和 alignas(alignof(MyClass)) 完全一样。所以"必须传一个 2 的整数幂"这个说法,只对传表达式的形式成立,对传类型的形式不适用——后者不要求调用者手写一个整型常量表达式。

然后的话因为我怕出处不够准确，到C++草案这里再次查询：https://eel.is/c%2B%2Bdraft/dcl.align

结论是一样的！您的这个表述适合的是整型常量表达式，因为他们的确必须传2的整数次幂，但是type不用，自动等价于alignas(alignof(MyClass))

所以的话暂时没有计划修改源代码 + 文章陈述！

最后非常感谢您的热心！笔者也是C++新手！借您的Issue重新确认了一下标准草案和cppreference！非常感谢！如果上面的表达存在不妥当欢迎捉虫o(￣▽￣)ブ！

[HiAirman]

你说得对（），我之前的判断有误，感谢你的指正！
也是学到新知识了