C++模板：计算值并在编译时作出决定

Question

假设您有一个具有模板长度和类型的向量类 - 即vec<2,float>。这些也可以嵌套 - vec<2,vec<2,vec<2,float> > >或vec<2,vec<2,float> >。你可以计算出这些载体之一是如何深嵌套是这样的：

​​

麻烦的是，你不会知道它有多深，直到运行时间，但你可能需要知道comile时间深度为了做这样的事情：

// Do this one when depth(v1) > depth(v2) 
template<int N, typename T, int M, typename U> 
inline vec<N,T> operator +(const vec<N,T>& v1, const vec<M,U>& v2) { 
    return v1 + coerce(v2,v1); 
} 
// Do this one when depth(v1) < depth(v2) 
template<int N, typename T, int M, typename U> 
inline vec<M,U> operator +(const vec<N,T>& v1, const vec<M,U>& v2) { 
    return coerce(v1,v2) + v2; 
} 

你不能只是扔在一个“如果”的声明，因为（a），这是更深层次的影响的返回类型和（b）裹胁（）生成，如果生成错误您尝试将嵌套向量强制转换为嵌套较少的向量。

是否有可能做这样的事情，还是我推高了C++模板的限制？

Answer 1

完全有可能。尝试例如

template<int N, typename T, int M, typename U> 
inline typename enable_if<is_deeper<T, U>::value, vec<N,T> >::type 
operator +(const vec<N,T>& v1, const vec<M,U>& v2) { 
    return v1 + coerce(v2,v1); 
} 

template<int N, typename T, int M, typename U> 
inline typename enable_if<is_deeper<U, T>::value, vec<M,U> >::type 
operator +(const vec<N,T>& v1, const vec<M,U>& v2) { 
    return coerce(v1,v2) + v2; 
} 

哪里is_deeper是一样的东西

/* BTW what do you want to do if none is deeper? */ 
template<typename T, typename U> 
struct is_deeper { static bool const value = false; }; 

template<typename T, int N, typename U> 
struct is_deeper<vec<N, U>, T> { 
    static bool const value = true; 
}; 

template<typename T, int N, typename U> 
struct is_deeper<T, vec<N, U> > { 
    static bool const value = false; 
}; 

template<typename T, int N, int M, typename U> 
struct is_deeper<vec<M, T>, vec<N, U> > : is_deeper<T, U> 
{ }; 

Answer 2

模板元编程会让你自由。我在运行时这样做，但它会在编译时进行计算：

#include <iostream> 
#include <boost\static_assert.hpp> 
using namespace std; 

template<size_t Depth> class Vec 
{ 
public: 
enum {MyDepth = Vec<Depth-1>::MyDepth + 1}; 
}; 

template<> class Vec<1> 
{ 
public: 
enum {MyDepth = 1}; 
}; 

    BOOST_STATIC_ASSERT(Vec<12>::MyDepth == 12); 
// Un-commenting the following line will generate a compile-time error 
// BOOST_STATIC_ASSERT(Vec<48>::MyDepth == 12); 

int main() 
{ 
cout << "v12 depth = " << Vec<12>::MyDepth; 
} 

编辑：包括提升静态断言来演示如何，这是在编译时进行评估。

Answer 3

部分专业化对反思非常有用。通常最好避免使用编译时常量结果的inline函数。 （C++ 0x中可能会缓解这个有点，但我不知道有多少。）

首先，你vec模板看起来很像boost::array/std::tr1::array/std::array，所以我只是把它array。

template< class ArrT > 
struct array_depth; // in the general case, array depth is undefined 

template< class ElemT, size_t N > // partial specialization 
struct array_depth< array< ElemT, N > > { // arrays do have depth 
    enum { value = 0 }; // in the general case, it is zero 
}; 

template< class ElemT, size_t N1, size_t N2 > // more specialized than previous 
struct array_depth< array< array< ElemT, N1 >, N2 > { 
    enum { value = 1 + array_depth< array< ElemT, N1 > >::value }; // recurse 
}; 

// define specializations for other nested datatypes, C-style arrays, etc. 
// C++0x std::rank<> already defines this for C-style arrays