传递给函数的临时对象生命周期：下述代码是否合法无UB？

咱们先理清核心问题：你的理解有一点偏差——临时对象确实会在创建它的完整表达式末尾被销毁，但这个时机和“函数执行完毕”的关系，以及指针的有效性，需要结合具体场景来看。

第一段代码的合法性分析 #

先看你给出的第一段代码：

struct GeoPoint { 
    std::string toString() const { 
        return std::string("123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890"); 
    } 
}; 
struct Data { 
    const GeoPoint getPt() const { return GeoPoint(); } 
}; 
void foo(const char* c) { std::cout << c << std::endl; } 
int main() { 
    Data dr; 
    foo(dr.getPt().toString().c_str()); 
}

这段代码完全合法，没有未定义行为。原因如下：

• dr.getPt()返回的GeoPoint临时对象，生命周期会延续到整个完整表达式（也就是foo(...)这条语句）的末尾；
• toString()返回的std::string临时对象，同样会存活到这个完整表达式结束；
• c_str()返回的指针指向该string的内部缓冲区，在foo函数执行期间，这个string临时对象仍然存在，所以指针是有效的，cout输出不会有问题。

崩溃场景的原因分析 #

再看你遇到问题的宏代码：

void log_print(char const * szFormat, ...) { ... } 
#define LOG(fmt, ...) do { \ 
    log_print(fmt, ##__VA_ARGS__);\ 
} while(0) 
Data dr; 
LOG("%s", dr.getPt().toString().c_str());

如果log_print的实现是立即处理参数（比如用vprintf直接输出），这段代码本身是安全的——临时对象会存活到log_print执行完毕。但你遇到崩溃，大概率是因为log_print内部没有立即使用这个指针，而是将它保存到了某个地方（比如全局缓存、异步日志队列）：当log_print返回后，std::string临时对象已经被销毁，之前获取的c_str()指针就变成了悬空指针，此时再访问就会触发未定义行为，表现为崩溃。

关键规则总结 #

这里再明确C++中临时对象的核心销毁规则：

• 临时对象（比如函数返回的临时值、表达式中创建的对象）的销毁时机是创建它的完整表达式的最后一步，也就是包含它的整个语句执行完毕的时候；
• 只有当临时对象被绑定到const引用（或volatile const引用）时，它的生命周期才会被延长到引用的生命周期结束；
• 临时对象的内部指针（比如std::string::c_str()）仅在临时对象存活期间有效，对象销毁后指针立即失效。

解决建议 #

针对你的崩溃问题，有两个简单的修复方案：

1. 先保存临时字符串到局部变量：将toString()的结果存到一个局部变量中，再传递它的c_str()，这样变量的生命周期会覆盖log_print的执行（甚至后续的保存操作）：

   Data dr;
   std::string ptStr = dr.getPt().toString();
   LOG("%s", ptStr.c_str());
   

2. 修改日志函数接收std::string：如果可以修改log_print，让它直接接收std::string参数，避免传递悬空指针的风险。

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