#include <iostream>
#include <vector>
#include <string>
#include <complex>
#include <utility>
/// MARK: - mandatory copy elision / Passing unmaterialized object
/// C++17 标准制定了一个规则: 当以值传递或返回一个临时对象的时候必须省略对该临时对象的拷贝。
///
///有隐式或显式的拷贝或构造函数
/// 自从 C++17 起用临时变量初始化对象时省略拷贝变成了强制性的。事实上,之后我将会看到我们我们 传递为参数或者作为返回值的临时变量将会被用来实质化 (materialize)一个新的对象。这意味着即使上例中 的 MyClass 完全不允许拷贝,示例代码也能成功编译。
class symbol_info {
public:
//symbol_info( const symbol_info&) = delete;
//symbol_info(symbol_info &&) = delete;
};
void set_symbol_info(symbol_info param) {
}
// 不允许拷贝 和 移动拷贝
symbol_info get_symbol_info() {
return symbol_info(); // err: No matching constructor for initialization of 'symbol_info'
// symbol_info obj;
// return obj;
}
class CopyOnly{
public:
CopyOnly() {
}
CopyOnly(int) {
}
CopyOnly(const CopyOnly&) = default;
CopyOnly(CopyOnly&&) = delete;
};
// 当向函数传入一个临时变量作为参数时不需要拷贝/移动,
// 但如果返回这个参数的话热然需要拷贝移动
/// 可以顶一个一个总的工厂函数, 即没有拷贝也没有移动的类型
template<typename T, typename... Args>
T create(Args&&... args) {
return T{std::forward<Args>(args)...};
}
CopyOnly ret() {
return CopyOnly{};
}
int main(int argc, const char * argv[]) {
// C++17之前需要将42转化为一个对象
CopyOnly x1 = 42;
int i = create<int>(42);
std::unique_ptr<int> up = create<std::unique_ptr<int>>(new int{42});
std::atomic<int> ai = create<std::atomic<int>>(42);
// 传递临时对象来初始化param
set_symbol_info(symbol_info{});
// 使用返回的临时对象初始化 x
symbol_info x = get_symbol_info();
// 使用返回的临时对象初始化param
set_symbol_info(get_symbol_info());
return 0;
}
复制/移动构造函数
于 2024-07-26 16:32:02 首次发布