Question

有没有人知道使用CRTP计算对象子类数的方法？

假设我们的设置类似于以下设置：

template <typename T>    
class Object
{
    ....  
};

const unsigned int ObjectSubClassCount = ...; 

class Subobject : public Object<SubObject>
{
    ....
};

class Second : public Object<Second>
{
    ....
};

等等，使用TMP，我们可能有一个表示子类总数的常量（ObjectSubClassCount）？

有没有人知道这样做的方法？

编辑：我想稍后将结果用作模板参数，所以我需要用TMP来完成...

Answer 1

如果没有要求将结果用作模板参数，我会尝试这样做：

// Class which increments a given counter at instanciation
struct Increment {
  Increment(std::size_t& counter)
  {
    counter++;
  }
};

// This is your template base
template <typename T>    
class Object
{
  private:
    // For every instanciation of the template (which is done for a subclass)
    // the class counter should get incremented
    static Increment incrementCounter;
};

// This is the global object counter
static std::size_t classCounter;

// Static Member Variable
template<typename T>
Object<T>::incrementCounter(classCounter);

没试过但是应该这样做。要使结果再次作为模板参数（MPL），我没有足够的MPL经验，但我怀疑这是可能的。

Answer 2

好的，所以我遇到了......有些可接受的答案。我认为如果子类完全不了解彼此的话就不会有用（我的意思是，我们说的是函数式编程......）。

这是一个解决方案。这绝对不是我想要的解决方案;然而，这是一个开始。我强迫所有对象使用CRTP形式，但是使用更多链接列表格式。这样，我们的子类必须从Object＆lt;＆gt;派生。模仿来自：

答：本身和B：最近定义的子类

这是我的代码（我使用<type_traits>的模板一次，只是一个注释）

template <typename T>   //SFINAE check for the existance of subclasscount static member
struct has_subclasscount
{

    template <typename U>
    static typename std::enable_if<sizeof(U::subclasscount) != 0, int>::type test(int);

    template <typename U>
    static char test(...);

    static const bool result = (sizeof(test<T>(0)) == sizeof(int))?(true):(false);
};


template <bool res, typename T>
struct return_subclasscount //the value to return is 0 if false
{
    static const int result = 0;
};


template <typename T>       
struct return_subclasscount<true, T>    //returns subclasscount only if the first parameter is true
{
    static const int result = T::subclasscount;
};


template <typename T>               //combines return_subclasscount and has_subclasscount
struct get_subclasscount
{
    static const int result = return_subclasscount<has_subclasscount<T>::result, T>::result;
};


template <typename This, typename Prev>
class Object
{
public:

    static const int subclasscount = 1 + get_subclasscount<Prev>::result;   //the subclass count
};


class sub1 : public Object<sub1, int>
{

};


class sub2 : public Object<sub2, sub1>
{

};


class sub3 : public Object<sub3, sub2>
{

};

这最后3个空类是我们正在计算的子类。这是我们的头文件。在我们的主.cpp文件中，我们有：

int main() {

std::cout << sub3::subclasscount;

char c;
std::cin >> c;
}

运行它，我们得到一个简单的输出：

3

这证实它有效。现在，这个解决方案的一些缺点是：

在我们添加之前，我们必须知道我们最后定义的子类是什么。
我们必须跟上我们使用子类计数器的任何地方，总是将它修改为来自列表中的最后一个子类（这可以通过使用一致的“endoflist”子类来避免，这需要维护而不是）< / LI>

但是，好处包括我们不需要维护任何先前定义的子类。但是，我认为这个答案更像是一个“起点”，而不是“最终解决方案”;也许可以扩展的东西？

（另外，这很容易被滥用来制作一种树形结构，其中subclasscount实际上代表树中任何给定节点的深度）

任何人都有来自这里的想法吗？

如何计算模板类的CRTP子类数？

2 个答案: