C++中模板构造函数和模板转义运算符的妙用

#if 0

在C++中我们会遇到如何让一个函数能够接收任意的类型的参数的问题,在C语言中解
决这个问题的方法是使用省略号作为函数的原型,但是省略号参数并不能指定参数具体的
数量因此存在着一定的安全隐患,最近在研究Loki库的可继承性静态代码的时候发现在C++
中还存在另外一种C++特有的方法,那就是采用模板构造函数和模板转换运算符。

现在来看看具体的代码:

#endif

#include <iostream>
#include <string>
class any_t
{
public:
any_t(){}
// 可以从任意类型转换到any_t的转换函数
template <class T>any_t(T const&){}
// 可以从any_t转换到任意类型的转换函数
template <class T>operator T(){return T();}
};

int main()
{
any_t a;// 定义一个任意的类型

a = 5;// 整型向任意类型转换
a = "pandaxcl";// C字符串类型向任意类型转换
a = 5.15f;// 浮点类型向任意类型转换
a = std::string("开心");// C++字符串类型向任意类型转换
any_t b = a;// 任意类型之间的转换

int i = a;// 任意类型向整型转换
float f = a;// 任意类型向浮点型转换
double d = a;// 任意类型向双精度型转换
std::string s = a;// 任意类型向C++字符串类型转换
return 0;
}

#if 0

从上面的代码可以看出,确实实现了任意类型,但是这种任意类型并没有保存什么实
质性的数据,仅仅只是实现了类型操作,这一点在Loki库的类型操作中可以用来实现任意
类型的类型。这里仅仅只是给出了这种模板构造函数和模板转换函数的应用,真正的应用
还主要在类型操作层面上,可以用来实现类型映射操作,同时还可以对任意类型进行一些
额外的操作,这一点在C语言的省略号中是不可能做到的。

好了,到此已经成功的实现了任意类型,具体的应用可以参见Loki库的继承性判断的
静态函数中的省略号应用,可以用来完成类型映射中的“其他类型”的识别功能。具体的
应用还是要看个人的发挥了,在此先写出来起个抛砖引玉的效果。

特别说明一下,上面的代码在g++编译器和Borland C++ 5.5.1 for Win32编译器下编
译通过。

#endif
 
©️2020 CSDN 皮肤主题: 大白 设计师:CSDN官方博客 返回首页