如何防止std::string使用initializer_list构造函数
How to prevent std::string from using the initializer_list constructor?
当使用与其他基本类型相同的初始化std::string
时,我希望以下代码输出"test"而不是"X"。std::string
现在用initializer_list
调用构造函数,因此调用get
对char
的模板专用化。
#include <sstream>
#include <string>
#include <iostream>
// Imagine this part as some kind of cool parser.
// I've thrown out everything for a simpler demonstration.
template<typename T> T get() {}
template<> int get(){ return 5; }
template<> double get(){ return .5; }
template<> char get(){ return 'X'; }
template<> std::string get(){ return "test"; }
struct Config {
struct proxy {
// use cool parser to actually read values
template<typename T> operator T(){ return get<T>(); }
};
proxy operator[](const std::string &what){ return proxy{}; }
};
int main()
{
auto conf = Config{};
auto nbr = int{ conf["int"] };
auto dbl = double{ conf["dbl"] };
auto str = std::string{ conf["str"] };
std::cout << nbr << std::endl; // 5
std::cout << dbl << std::endl; // 0.5
std::cout << str << std::endl; // 'X'
}
有没有一种很好的方法可以在不破坏变量初始化的一致性的情况下做到这一点?
std::string
有一个接受initializer_list<char>
参数的构造函数;当您将列表初始化与非空的支撑init列表一起使用时,将始终首先考虑该构造函数,这就是为什么get()
的char
专用化正在匹配。
如果所有初始化都使用括号而不是大括号,那么initializer_list
构造函数将不再是std::string
情况下唯一考虑的构造函数。
auto nbr = int( conf["int"] );
auto dbl = double( conf["dbl"] );
auto str = std::string( conf["str"] );
但是,仅此更改不起作用,因为您有一个可以生成任何类型的隐式用户定义转换模板。在std::string
的情况下,上面的代码会为所有可以用单个参数调用的std::string
构造函数生成匹配项。要解决此问题,请使用转换运算符explicit
。
struct proxy {
// use cool parser to actually read values
template<typename T>
explicit operator T(){ return get<T>(); }
};
现在,只有显式转换为std::string
是可行的,并且代码按照您希望的方式工作
实时演示
auto nbr = (int)conf["int"];
auto dbl = (double)conf["dbl"];
auto str = (string&&)conf["str"];
你已经定义了模板运算符T((,上面只是调用它。要复制,你可以
auto str = string((string&&)conf["str"])
编辑:已将(字符串(更改为(字符串&&(
第2版:以下内容也适用(测试了所有内容-gcc-std=c++11(:
auto nbr = (int&&)conf["int"];
auto dbl = (double&&)conf["dbl"];
auto str = (string&&)conf["str"];
相关文章:
- "error: no matching function for call to"构造函数错误
- C++17复制构造函数,在std::unordereded_map上进行深度复制
- 如果C++类在类方法中具有动态分配,但没有构造函数/析构函数或任何非静态成员,那么它仍然是POD类型吗
- 为什么在没有显式默认构造函数的情况下,将另一个结构封装在联合中作为成员的结构不能编译
- 为什么在C++中使用私有复制构造函数与删除复制构造函数
- 选择要调用的构造函数
- 如何委托派生类使用其父构造函数?
- 构造函数正在调用一个使用当前类类型的函数
- 没有用于初始化C++中的变量模板的匹配构造函数
- 初始化具有非默认构造函数的std::数组项的更好方法
- 当从函数参数中的临时值调用复制构造函数时
- 在c++构造函数中使用随机字符串生成器
- std::list 模板是否需要其实例类型中的复制构造函数(或等效项)?
- 错误:没有用于初始化'List<double>::node'的匹配构造函数
- 'list::list'命名构造函数,而不是类型
- 使用 boost 将 std::list 传递给构造函数,list_of不编译
- std::list 的默认构造函数可以<int>抛出吗?
- std::list<std::unique_ptr>:空初始值设定项列表与默认构造函数
- 以vector、list或map为成员的类需要复制构造函数
- 为什么std::list中的单参数构造函数定义为显式