diff --git a/src/span.h b/src/span.h index 78c30fa553..d5d7ebccc4 100644 --- a/src/span.h +++ b/src/span.h @@ -18,6 +18,16 @@ #define ASSERT_IF_DEBUG(x) #endif +#if defined(__clang__) +#if __has_attribute(lifetimebound) +#define SPAN_ATTR_LIFETIMEBOUND [[clang::lifetimebound]] +#else +#define SPAN_ATTR_LIFETIMEBOUND +#endif +#else +#define SPAN_ATTR_LIFETIMEBOUND +#endif + /** A Span is an object that can refer to a contiguous sequence of objects. * * It implements a subset of C++20's std::span. @@ -87,14 +97,14 @@ public: * Note that this restriction does not exist when converting arrays or other Spans (see above). */ template - constexpr Span(V& other, + constexpr Span(V& other SPAN_ATTR_LIFETIMEBOUND, typename std::enable_if::value && std::is_convertible().data())>::type (*)[], C (*)[]>::value && std::is_convertible().size()), std::size_t>::value, std::nullptr_t>::type = nullptr) : m_data(other.data()), m_size(other.size()){} template - constexpr Span(const V& other, + constexpr Span(const V& other SPAN_ATTR_LIFETIMEBOUND, typename std::enable_if::value && std::is_convertible().data())>::type (*)[], C (*)[]>::value && std::is_convertible().size()), std::size_t>::value, std::nullptr_t>::type = nullptr) @@ -154,9 +164,9 @@ public: /** MakeSpan for arrays: */ template Span constexpr MakeSpan(A (&a)[N]) { return Span(a, N); } /** MakeSpan for temporaries / rvalue references, only supporting const output. */ -template constexpr auto MakeSpan(V&& v) -> typename std::enable_if::value, Span::type>>::type { return std::forward(v); } +template constexpr auto MakeSpan(V&& v SPAN_ATTR_LIFETIMEBOUND) -> typename std::enable_if::value, Span::type>>::type { return std::forward(v); } /** MakeSpan for (lvalue) references, supporting mutable output. */ -template constexpr auto MakeSpan(V& v) -> Span::type> { return v; } +template constexpr auto MakeSpan(V& v SPAN_ATTR_LIFETIMEBOUND) -> Span::type> { return v; } /** Pop the last element off a span, and return a reference to that element. */ template