#include <initializer_list>
#include <iostream>
namespace {
class C {
public:
C(C const &) = delete;
C(C &&) = delete;
C(int) {
std::cout << "int\n";
}
C(std::initializer_list<int>) {
std::cout << "initializer\n";
}
};
void f(C) {
}
// Compiles and prints "initializer" when called
C g() { return {0}; }
// Fails to compile
// C h() { return 0; }
} // namespace
int main() {
// Compiles and prints "initializer"
f({0});
// Fails to compile
// f(0);
}
是否可以在不调用initializer_list构造函数的情况下,将C(不可复制,不可移动的类型)构造为函数参数或函数返回值?
仅当可以更改时才可能,C
因此可以选择所需的构造函数,而不是初始化列表构造函数,例如,通过将参数类型包装在不能转换为初始化列表构造函数的元素类型的东西中:
#include <initializer_list>
#include <iostream>
namespace {
template<class T>
struct wrap
{
T value;
};
class C {
public:
C(C const &) = delete;
C(C &&) = delete;
C(wrap<int>) {
std::cout << "int\n";
}
C(std::initializer_list<int>) {
std::cout << "initializer\n";
}
};
void f(C) {
}
// Compiles and prints "int" when called
C g() { return {wrap<int>{0}}; }
} // namespace
int main() {
// Compiles and prints "int"
f({wrap<int>{0}});
g();
}
打印:
int
int
本文收集自互联网,转载请注明来源。
如有侵权,请联系[email protected] 删除。
我来说两句