C++无void右值引用时，零拷贝消息传递接口的实现疑问

你的这个hack思路其实挺巧妙的——核心是通过栈上的placement new构造Var，再用移动构造返回，以此避开接口签名暴露Var类型的问题。不过现有实现存在两个关键问题，可能会触发未定义行为：

• 对齐不足：char hack[sizeof(Var)]的内存对齐仅为1字节，但Var可能有更高的对齐要求（比如包含double、指针或带自定义对齐的成员）。当placement new在对齐不符合要求的内存上构造对象时，属于标准明确规定的未定义行为。
• 对象指针有效性：在C++17及以后的标准中，通过reinterpret_cast获取placement new新构造的对象指针时，必须使用std::launder来让编译器识别这个新对象，否则可能因为优化导致错误的对象访问。

修正后的安全合规版本应该是这样：

#include <cstddef>
#include <utility>
#include <type_traits>

void interface(void* p) {
    new (p) Var(backend()); // backend()返回的Var会被移动构造到目标内存
}

Var get() {
    // 用alignas保证内存对齐匹配Var，用std::byte替代char更明确内存用途
    alignas(Var) std::byte hack[sizeof(Var)];
    interface(hack);
    // std::launder确保指针指向placement new构造的新Var对象
    auto var_ptr = std::launder(reinterpret_cast<Var*>(hack));
    return std::move(*var_ptr);
}

这个修正后的版本完全符合C++标准，只要Var的移动构造函数是合法可调用的，就可以安全运行。

如果你想避开手动管理栈内存和placement new的繁琐，有几种更简洁且安全的方案可选：

方案1：回调函数（类型擦除） #

通过回调函数传递Var的构造结果，接口签名可以完全隐藏Var类型（借助std::function做类型擦除）：

#include <functional>

// 接口只需要知道接收一个能处理Var&&的回调，签名里完全看不到Var
void interface(std::function<void(Var&&)> callback) {
    callback(std::move(backend()));
}

Var frontend() {
    Var result;
    interface([&](Var&& v) {
        result = std::move(v);
    });
    return std::move(result);
}

这个方案不需要手动处理内存，代码可读性高，唯一的小开销是std::function的类型擦除，对于绝大多数场景来说完全可以忽略。

方案2：对齐存储包装器（C++11+） #

如果不想用std::function，可以用std::aligned_storage_t来封装符合要求的内存，比手动写数组更具语义性：

#include <type_traits>
#include <utility>

void interface(void* p) {
    new (p) Var(backend());
}

Var frontend() {
    // 自动匹配Var的大小和对齐要求
    using Storage = std::aligned_storage_t<sizeof(Var), alignof(Var)>;
    Storage storage;
    interface(&storage);
    auto var_ptr = std::launder(reinterpret_cast<Var*>(&storage));
    return std::move(*var_ptr);
}

std::aligned_storage_t帮你自动处理了大小和对齐的细节，代码比手动写alignas数组更简洁规范。

方案3：C++20+用std::span（灵活内存传递） #

如果你的接口需要支持不同的内存来源（比如栈、堆），可以用std::span来规范内存区域的传递，本质还是placement new，但代码更严谨：

#include <span>
#include <utility>
#include <type_traits>

void interface(std::span<std::byte> buffer) {
    // 编译期检查buffer的大小和对齐是否符合要求
    static_assert(sizeof(Var) <= buffer.size());
    static_assert(alignof(Var) <= alignof(decltype(buffer)));
    new (buffer.data()) Var(backend());
}

Var frontend() {
    alignas(Var) std::byte buffer[sizeof(Var)];
    interface(buffer);
    auto var_ptr = std::launder(reinterpret_cast<Var*>(buffer));
    return std::move(*var_ptr);
}

总的来说，你的原始思路是可行的，只要修正对齐和std::launder的问题就能安全运行；如果追求代码简洁性和可读性，回调函数的方案是更优的选择。

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