如何为模板化运算符指定模板参数

Question

我有一个模板化运算符作为类成员：

struct A {
  template <bool s=true> auto operator[](int ) {}
};

我以以下（相当繁琐）的方式指定模板参数：

int main() {
  A s;
  s.template operator[]<false>(1);
}

这种方式破坏了使用运算符的“美感”（除了使用模板化运算符可能不是最佳实践之外；我在代码中使用它来获得有条件的 const 返回类型而无需重新实现逻辑并仅在 at 实现内部使用模板）。

是否有更简洁的表示法来指定模板参数？

Answer 1

您可以将传递的参数包装在可以推断的模板类中，有点像标签调度：

template<bool s>
struct A_index {  // A shorter name based on your use case
    int i;
};

struct A {
    template<bool s> auto operator[](A_index<s> i_) {
        int i = i_.i;
        // Use `i`
    }
    auto operator[](int i) { (*this)[A_index<true>{ i }]; }  // For your default = true
};

int main() {
    A s;
    s[A_index<false>{1}];

    using t = A_index<true>;
    s[t{0}];
}

或者您可以拥有一个具有A& 引用的辅助模板结构，其中该结构具有模板参数：

struct A {
};

template<bool s = true>
struct A_index {
    A& a;

    auto operator[](int i) { }
};

int main() {
  A s;
  A_index<false> view{ s };
  view[1];
}

或者您可以只使用非运算符成员函数。