#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 

发表于 @ 2006年07月06日 12:25:00|评论(loading...)|编辑