GP随笔: IF模板的一种非偏特化实现

IF模板一般设计如下:

template <bool /* Condition */, class Then, class /* Else */ >
struct IF {
  typedef Then ret;
};

template<class Then, class Else>
struct IF<false, Then, Else> {
  typedef Else ret;
};

在不支持偏特化的编译器中, 一般使用下面的方式使用全特化模拟:

        namespace intimate
        {
                struct SelectThen
                {       template<class Then, class Else>
                        struct Result
                        {       typedef Then RET;
                        };
                }; // end SelectThen

                struct SelectElse
                {       template<class Then, class Else>
                        struct Result
                        {       typedef Else RET;
                        };
                }; // end SelectElse

                template<bool Condition>
                struct Selector
                {       typedef SelectThen RET;
                }; // end Selector

                template<>
                struct Selector<false>
                {       typedef SelectElse RET;
                }; // end Selector<false>
        } // end namespace private

        template<bool Condition, class Then, class Else>
        struct IF
        {       typedef intimate::Selector<Condition>::RET select;
                typedef select::Result<Then,Else>::RET RET;
        }; // IF

上面的实现有点冗长. 最近使用某编译器居然不支持 namespace, 为了不让几个 Selector 污染名字空间, 发现了一种比较简单的实现方案, 有一定的通用性, 可用于将模板代码移植到不支持偏特化或名字空间的情况.

template <bool Condition , class Then, class Else>
class IF {
    template<bool /* Condition */ >
    struct Selector {
         typedef Then ret;
    };
    template<>
    struct Selector<false> {
        typedef Else ret;
    };
public:
     typedef Selector<Condition>::ret ret;
};

实现技术本质上没有多大变化, 区别无非是使用嵌套类的外层类的private域充当名字空间.

使用全特化模拟偏特化, 基本原理是分离出那些与特化无关的模板参数.
在这种实现里面, 用外层类向嵌套类传递与特化无关的模板参数, 而由嵌套类实现特定模板参数的全特化.
最后在public域输出特化结果.