指向数据类型的指针的类模板推导

Question

我有以下包装类：

template <typename T>
class Remap {
  public:
    Remap(T *data, int *remap) : data(data), remap(remap){};
    T &operator[](std::size_t idx) const { return data[remap[idx]]; }
  private:
    T *data;
    int *remap;
};    

如果我这样称呼它，它工作得很好：

Remap<double> remap(data, remap);

其中数据的类型为double *。如果我尝试让编译器（intel icc 15.0.3, with -std=c++11）推断模板类型：

Remap remap(data, remap);

失败并显示错误消息：

argument list for class template "Remap" is missing

我尽量不违反DRY 原则，因此想解决这个问题。

Answer 1

在C++17之前，类模板参数没有扣除。

解决方法是使用某种产生Remap 对象的get_remap 模板函数：

template<typename T>
Remap<T> get_remap(T* data, int* remap) {
    return Remap<T>(data, remap);
}

然后像这样使用它：

double* data = nullptr;
int* remap = nullptr;

auto remap_obj = get_remap(data, remap);

Example

此外，在 C++14 支持下，get_remap 可能会缩短为：

template<typename T>
auto get_remap(T* data, int* remap) {
    return Remap<T>(data, remap);
}

通过让编译器推断返回类型。

---

从 C++17 开始，您可以使用 class template argument deduction 并简单地编写：

double* data = nullptr;
int* remap = nullptr;

Remap remap_obj(data, remap);

Example