基于模板争议的条件相同模板类代码？

Question

类似于Conditional compile-time inclusion/exclusion of code based on template argument(s)?。

（顺便说一句答案2在上面的问题不编译在所有）

（C++ 11及以上）

我下面的类的说明中，想外::内< ...>以便用作模板参数等。

template<typename T> 
struct Outer { 
    __enable_if__(cond_1<T>()) { 
    // Does not compile if T fails cond_1 
    template<typename> Inner { ... }; 
    } 
    __enable_if__(cond_2<T>()) { 
    // Does not compile if T fails cond_2 
    template<typename> Inner { ... }; 
    } 
}; 

我只能想到某事。如下所示。

#include <type_traits> 

struct BaseA { static constexpr int va = 111; }; 
struct BaseB { static constexpr int vb = 222; }; 

struct C : public BaseA {}; 
struct D : public BaseB {}; 

template<typename T> 
struct Outer { 
    template<typename, int selector> struct InnerImpl; 

    template<typename S> struct InnerImpl<S, 1> { static constexpr int v = T::va; }; 
    template<typename S> struct InnerImpl<S, 2> { static constexpr int v = T::vb; }; 

    static constexpr int computeSelector() { 
    // Could be less horrible with C++14 constexpr functions 
    // std::is_base_of acts as a demo of complex compile-time conditions 
    return std::is_base_of<BaseA, T>::value + std::is_base_of<BaseB, T>::value * 2; 
    } // **1 

    template<typename S> using Inner = InnerImpl<S, computeSelector()>; 
}; 

问题是，这种方式根本无法扩展。

外部依赖于全部可能的T，很容易导致循环标头依赖。

是否有任何解决方案外部不依赖于T？

Answer 1

不确定要理解你的问题，但我已经试图证实你的例子。

以下解决方案有什么问题？

#include <iostream> 
#include <type_traits> 

struct BaseA { static constexpr int va = 111; }; 
struct BaseB { static constexpr int vb = 222; }; 

struct C : public BaseA {}; 
struct D : public BaseB {}; 

template<typename T> 
struct Outer 
{ 
    template <typename S, bool B = true> 
    struct InnerI; 

    template <typename S> 
    struct InnerI<S, std::is_base_of<BaseA, T>::value> 
    { static constexpr int v { T::va }; }; 

    template <typename S> 
    struct InnerI<S, std::is_base_of<BaseB, T>::value> 
    { static constexpr int v { T::vb }; }; 

    template <typename S> 
    using Inner = InnerI<S>; 
}; 


int main() 
{ 
    std::cout << Outer<C>::Inner<int>::v << std::endl; // print 111 
    std::cout << Outer<D>::Inner<long>::v << std::endl; // print 222 
    // std::cout << Outer<int>::Inner<char>::v << std::endl; // compilation error 
}