将临时对象转右值引用再转左值引用忽略函数左值参数是否合规？

问题背景 #

现有一个以左值引用为参数的函数：

using Vec = std::vector<int>;
void func(int n, Vec& log) {
    some_actions(n);
    log.push_back(n);
}

调用时希望忽略log参数，但不想创建额外的临时变量（比如下面这种写法）：

Vec temp;
func(1, temp);

发现以下代码可以通过编译：

func(1, (Vec&)(Vec&&)Vec{});
// 或者
func(1, reinterpret_cast<Vec&>(static_cast<Vec&&>(Vec{})));

问题解答 #

1. 该做法在C++中是否合规？ #

从语法层面，这段代码能通过编译器检查，属于语法合规的范畴。Vec{}创建临时对象，static_cast<Vec&&>将其转为右值引用（这一步其实冗余，临时对象本身就是右值），再通过强制转换将右值引用转为左值引用，C++语法允许这种类型转换操作，但合规不代表行为安全。

2. 是否存在未定义行为？ #

明确存在未定义行为。

C++标准规定，非const的左值引用不能直接绑定到临时对象，这里的强制转换本质是绕开了类型系统的安全检查。当func对log执行push_back时，操作的是一个临时对象——虽然push_back在临时对象销毁前执行，但标准并未保证这种强制绑定能延长临时对象的生命周期。更关键的是，这种绑定方式本身就属于标准定义的未定义行为，编译器可能进行任意优化（比如提前销毁临时对象），导致内存访问错误、程序崩溃等不可预测的结果。

3. 是否属于良好实践？ #

绝对不是良好实践，理由如下：

• 可读性极差：其他开发者很难快速理解这段代码的意图，大幅提升维护成本。
• 风险不可控：依赖未定义行为意味着代码行为可能随编译器版本、编译选项变化，当前正常运行不代表未来不会出现诡异bug。
• 有更合理的替代方案：
  • 给func新增一个无log参数的重载：

    void func(int n) {
        some_actions(n);
        // 不执行日志操作
    }
    

  • 修改原函数，将log改为可选指针：

    void func(int n, Vec* log = nullptr) {
        some_actions(n);
        if (log != nullptr) {
            log->push_back(n);
        }
    }
    // 调用时直接写 func(1); 即可
    

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