以下内容会调用未定义的行为吗?
#include <iostream>
#include <iomanip>
#include <algorithm>
#include <experimental/iterator>
int main() {
long double values[] = {1, 2, 3};
std::transform(
std::begin(values), std::end(values),
std::experimental::make_ostream_joiner(std::cout, ", "),
[](long double v) {
return std::put_money(v + 1);
}
);
return 0;
}
我担心的是return std::put_money(v + 1)
返回对临时v + 1
的引用。
答案 0 :(得分:6)
标准([ext.manip]/6)仅定义了以下特定表达式:
out << put_money(mon, intl);
目前尚不确定mon
是如何存储的,并且肯定有可能成为悬挂的参考并成为UB。
一个“简单”的解决方法是使您自己的类知道您存储的值:
struct money_putter {
long double value;
template<class charT, class traits>
friend std::basic_ostream<charT, traits>& operator<<(std::basic_ostream<charT, traits>& os, const money_putter& mon) {
return os << std::put_money(mon.value);
}
};
int main() {
int values[] = {1, 2, 3};
std::transform(
std::begin(values), std::end(values),
std::experimental::make_ostream_joiner(std::cout, ", "),
[](int i) {
return money_putter{i}; // or i + 1
}
);
return 0;
}
答案 1 :(得分:2)
您可以测试它,尽管这不会告诉您是否可以保证,但是由于未指定put_money的返回类型,因此您不能假定返回的值不包含引用。
...无论如何,我们都要对其进行测试:
#include <iostream>
#include <iomanip>
#include <algorithm>
#include <experimental/iterator>
int main() {
int i = 42;
std::cout << std::put_money(i) << "\n";
auto x = std::put_money(i);
i = 43;
std::cout << x;
return 0;
}
输出为clang:
42
43
所以实际上答案是肯定的。使用clang时,返回的值确实包含引用,并且输出与gcc相同。因此,是的,您的代码具有UB。
答案 2 :(得分:0)
This answer在回答我的问题方面做得很好,但是我认为我将提供一种更通用的解决方案,以确保向ostream_joiner
的对象输出不带有任何悬挂引用,使用lambda捕获这些引用:
#include <type_traits>
#include <ostream>
template<typename F>
class put_invocation_t {
public:
constexpr put_invocation_t(F const& f) : f(f) {}
constexpr put_invocation_t(F&& f) : f(std::move(f)) {}
template<class charT, class traits>
friend std::basic_ostream<charT, traits>& operator<<(
std::basic_ostream<charT, traits>& os, put_invocation_t const& pi
) {
return pi.f(os);
}
private:
F f;
};
// or use a deduction guide in C++17
template<typename F>
put_invocation_t<std::decay_t<F>> put_invocation(F&& f) {
return put_invocation_t<std::decay_t<F>>(std::forward<F>(f));
}
用作
std::transform(
std::begin(values), std::end(values),
std::experimental::make_ostream_joiner(std::cout, ", "),
[](long double v) {
return put_invocation([=](auto& os) -> auto& {
return os << std::put_money(v + 1);
});
}
);
通过在transform
中使用以下类似内容,还可以扩展到输出多个值:
return put_invocation([=](auto& os) -> auto& {
return os << "Value is: " << std::put_money(v + 1);
});