c++ - C++模板元编程静态类型检查

Question

我找不到问题的答案，所以我将其作为问题发布。我做了一个小的虚拟例子来解释它：

enum STORAGE_TYPE
{
    CONTIGUOUS,
    NON_CONTIGUOUS
};

template <typename T, STORAGE_TYPE type=CONTIGUOUS>
class Data
{
    public:
        void a() { return 1; }
};

// partial type specialization
template <typename T>
class Data<T, NON_CONTIGUOUS>
{
    public:
        void b() { return 0; }
};

// this method should accept any Data including specializations…
template <typename T, STORAGE_TYPE type>
void func(Data<T, type> &d)
{
    /* How could I determine statically the STORAGE_TYPE? */
    #if .. ?? 
        d.a();
    #else
        d.b();
    #endif      
}


int main()
{
    Data<int> d1;
    Data<int, NON_CONTIGUOUS> d2;

    func(d1);
    func(d2);

    return 0;
}

请注意（1）我不想要“func”的专业化，因为这可以解决它，但我只想拥有 1 个具有内部静态“if”条件的通用方法“func”来执行代码。 (2)我更喜欢使用标准 C++（不是 C++0x 或 boost）的解决方案。

Answer 1

使用特征技术：

template <typename T, STORAGE_TYPE type>
struct DataTraits {
  static void callFunction(Data<T, type> &d)
  {
    d.a();
  }
};

template <typename T>
struct DataTraits<T,NON_CONTIGUOUS> {
  static void callFunction(Data<T, NON_CONTIGUOUS> &d)
  {
    d.b();
  }
};


// this method should accept any Data including specializations…
template <typename T, STORAGE_TYPE type>
void func(Data<T, type> &d)
{
    /* How could I determine statically the STORAGE_TYPE? */
    DataTraits<T,type>::callFunction(d);
}

Answer 2

关键是SFinae。您必须声明一个以存储类型为模板的帮助类，并为两者之一提供定义定义。这样，如果存在特化，您在编译时就知道您拥有哪种存储类型（您为其提供了定义的存储类型），如果替换失败（这不是错误，SFINAE），则属于另一种情况。