从vector创建span时的临时对象生命周期问题

先看定义的proxy结构体：

template<typename T>
struct proxy
{
    template<typename U> proxy(const U& u) : t_(u) {}
    auto operator*() const { return t_; }
    const T& t_;
};

以及使用它的示例代码：

#include <vector>
#include <span>
#include <numeric>
#include <iostream>

template<typename T>
struct proxy
{
    template<typename U> proxy(const U& u) : t_(u) {}
    auto operator*() const { return t_; }
    const T& t_;
};

auto bar(proxy<std::span<const int>> p)
{
    return std::accumulate((*p).begin(), (*p).end(), 0);
}

int main()
{
    std::vector<int> v {1,2,3};

    // 示例1：运行正常，valgrind无报错
    std::cout << bar(std::span<const int>{v}) << std::endl;

    // 示例2：clang++编译报错；g++编译通过但valgrind检测到未初始化值使用
    std::cout << bar(v) << std::endl;
}

问题解答 #

1. 为何clang++接受示例1的代码，却拒绝示例2的代码？

• 示例1中，传入的是临时std::span对象：这个临时对象作为参数传递给proxy的构造函数时，会绑定到构造函数的const U& u参数（此时U是std::span<const int>）。根据C标准，绑定到函数参数const引用的临时对象，生命周期会延长到整个函数调用表达式结束（即bar函数执行完毕）。因此proxy的t_引用的临时span在bar运行期间一直有效，代码安全，clang允许通过。
• 示例2中，传入的是vector对象：proxy构造函数需要将vector转换为std::span<const int>，这个转换会生成一个临时span对象。但这个临时对象仅在构造函数初始化t_的表达式中存在，构造函数执行完毕后就会被销毁，导致proxy的t_变成悬垂引用。clang++的编译诊断逻辑检测到了这种“引用绑定到生命周期更短的临时对象”的风险，因此直接报错。

2. proxy结构体存在何种缺陷，导致示例2的代码运行失败？

proxy的核心缺陷是构造函数模板没有约束U的类型：它接受任意类型U，并直接将u绑定到const T&类型的t_。当U无法直接转换为const T&时（比如示例中的vector到span），会隐式生成临时T对象，而这个临时对象的生命周期无法覆盖proxy对象的生命周期，最终导致t_成为悬垂引用，后续访问*p时会触发未定义行为。

正确的做法是给构造函数添加约束，确保U可以直接绑定到const T&，比如用SFINAE限制：

template<typename U>
proxy(const U& u) : t_(u) 
requires std::convertible_to<const U&, const T&> {}

这样就能避免隐式生成临时对象导致的悬垂问题。

3. g编译通过却生成带有未定义行为的二进制文件，这是否属于g的bug？

这不属于g的bug。C标准中，这种“引用绑定到已销毁临时对象”的情况属于未定义行为，标准并没有强制要求编译器必须诊断出这类问题——编译器可以选择报错，也可以选择生成代码（即使代码存在风险）。

clang只是实现了更严格的编译期诊断逻辑，提前拦截了这种明显的风险；而g的诊断规则没有覆盖这种场景，因此编译通过，但生成的代码存在未定义行为，运行时可能出现各种异常（比如valgrind检测到的未初始化值问题）。

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