如何解决如何设计可以处理各种数量的参数或具有参数类型组合的函数接口?
| 偶尔我会发现我需要一个通用的“通过”界面。例如,对于将其构造函数参数转发给父级的混合类。或者对于将其参数转发到new
的工厂方法:
template<typename C>
C * Create();
template<typename C,typename Arg0>
C * Create(Arg0 & a);
template<typename C,typename Arg0,typename Arg1>
C * Create(Arg0 & a,Arg1 & arg1);
template<typename C,typename Arg1,typename Arg2>
C * Create(Arg0 & a,Arg1 & arg1,Arg2 & arg2);
将想法付诸实践时,我发现它通常是可行的。
但是,存在一些问题:
当通过值传递模板参数时,有时引用类型会沿途降低其引用性。
我尝试的修复方法是将所有参数作为非常量引用传递。这适用于大多数情况,因为常量性保留在类型本身中,并且允许将按值传递的参数转换为引用。
但是,一个明显的例外是临时const引用。有关更多信息,请参见下面的我的编辑。
但是,所有这些只是我的个人经历。在其他代码库中,我还没有看到这种方法。因此,我有兴趣了解您对上述问题的想法和见解。
我的主要问题是:
设计此类界面时,一般的指导原则和最佳做法是什么?
如何避免丢失类型信息? (可以完全避免吗?)
您能推荐这种设计的任何好例子吗?
更新资料
回应@Ben Voigt的评论。看来他在做某事。它与绑定到左值的const char *
字符串一起使用,但是在传递typeinfo的name()方法的结果时不起作用:
template<typename Arg0>
void Create(Arg0 & a) {}
void foo()
{
// works fine
const char * typeName = typeid(int).name();
Create(typeName);
// error: invalid initialization of non-const reference of type
// ‘const char*&’ from a temporary of type ‘const char*’
Create(typeid(int).name());
}
解决方法
没关系,真的。您通过对pass4ѭ的引用进行传递,而要传递对非
const
的引用,则要求调用者编写ref(x)
。而不是定义多个版本,而是一劳永逸地定义了一个支持ArgPack
的模板。
或者,使用C ++ 0x完全转发。
干杯,……
, 哥们,不是在C ++ 03中。您必须为const引用和非const引用的每种组合显式重载,这是指数级的。在C ++ 0x中,完美的转发和可变参数模板将解决此问题。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。