C++ 模板模板中的 class 赋值是什么意思？

Question

template<classT>
class MyClass {
using KeyType = int;
using MapType = std::map<KeyType, int64_t>;
MapType map_;

template <class T1 = T, class = std::enable_if_t<std::is_same<T1, int>{}>>
  IndexValueType LowerBound(KeyType k) const {
    auto it = map_.lower_bound(k);
    if (it == map_.end()) {
      return NOT_FOUND;
    }
    return it->second;
  }
};

这 2 个作业在这种情况下有什么作用？

class T1 = T
class = std::enable_if_t<std::is_same<T1, int>{}>

Answer 1

LowerBound 是一个 member template function declared inside the class template MyClass。它类似于函数模板，但它包含在 class（模板）中。

代码可以简化为

template <typename T>
class MyClass {

    template <typename T1 = T, typename = std::enable_if_t<std::is_same<T1, int>{}>>
    IndexValueType LowerBound(KeyType k) const {}
};

第一个赋值 T1 = T 意味着第一个模板参数的默认参数与 T 的类型相同。如果没有明确指定，T1 将是 T。您当然可以明确指定其他类型。

这里的第二个赋值是 std::enable_if 的用法。评论中还指出，这是应用SFINAE的简单方法。当 T1 与 int 不同时，它将禁用（忽略）模板。由于第二个参数只是为了限制第一个参数，在定义中没有使用，所以忽略它的名字。

MyClass<int> mc1; // T is int
mc1.LowerBound(...) // T1 is int, when not specified explicitly
mc1.LowerBound<std::int32_t>(...) // T1 is std::int32_t here
MyClass<double> mc2; // T is double
mc2.LowerBound<int>(...) // OK, T1 is int 
mc2.LowerBound(...) // T1 is substitued with double here and will cause compile error since is not int

C++ 模板模板中的 class 赋值是什么意思？

C++ template what does this class assignment in template mean?

c++

templates

typetraits

enable-if