假设我们有一个可以将东西写入输出的类
- class Writer
- {
- public:
- int write(const std::string& str);
- int write(const char* str,int len);
- //...
- };
我很好,这很灵活,所有这一切,直到我意识到
- char* buf = new char[n]; //not terminated with '\0'
- //load up buf
- Writer w;
- w.write(buf); //compiles!
这是一个非常讨厌的bug.
我们可以用一些模板来修改
- class WriterV2
- {
- public:
- int write(const std::string& str);
- int write(const char* str,int len);
- template<typename... Args>
- int write(const char*,Args...)
- { static_assert(sizeof...(Args) < 0,"Incorrect arguments"); }
- //...
- };
但这种方法存在问题
- WriterV2 w;
- w.write("The templating genius!"); //compile error
我该怎么办？什么是更好的设计？
在有人要求之前,重载为const char(&)[N] does not work.创建一个包装器来实现这一点可能是可行的,但这看起来……有点过分了吗？
编辑添加方法write(char *)并发出错误并不理想.当通过函数和所有这些传递buf时,它可能变成const char *.
解决方法
在C中的重载分辨率期间
ICS (Implicit Conversion Sequences)可以产生令人惊讶的结果,你已经注意到了,也很烦人..
您可以提供所需的必要接口,然后通过利用partial ordering删除不需要的重载,仔细使用模板来处理字符串文字与const char * fiasco.
码：
- #include <iostream>
- #include <string>
- #include <type_traits>
- class Writer
- {
- public:
- int write(std::string&&) { std::cout << "int write(std::string)\n"; return 0; }
- int write(const std::string&) { std::cout << "int write(const std::string& str)\n"; return 0; }
- int write(const char*,int){ std::cout << "int write(const char* str,int len)\n"; return 0; }
- template<std::size_t N = 0,typename = std::enable_if_t<(N > 0)> >
- int write(const char (&)[N]) { std::cout << "int write(string-literal) " << N << " \n"; return 0; }
- template<typename T>
- int write(T&&) = delete;
- };
- int main(){
- char* buf = new char[30];
- const char* cbuf = buf;
- Writer w;
- //w.write(buf); //Fails!
- //w.write(cbuf); //Fails!
- w.write(buf,30); //Ok! int write(const char*,int);
- w.write(std::string("Haha")); //Ok! int write(std::string&&);
- w.write("This is cool"); //Ok! int write(const char (&)[13]);
- }
打印：
- int write(const char* str,int len)
- int write(std::string)
- int write(string-literal) 13
请注意,上述解决方案继承了“使用无约束转发引用重载函数”的缺点.这意味着过载集中可行函数的参数类型的所有ICS都将被“删除”
