c++ - Abseil C++ 模板参数

Question

我在看这里https://github.com/abseil/abseil-cpp/blob/master/absl/types/span.h#L673

template <int&... ExplicitArgumentBarrier, typename T>
constexpr Span<T> MakeSpan(T* ptr, size_t size) noexcept {
  return Span<T>(ptr, size);
}

我不明白这个功能。 int&... ExplicitArgumentBarrier 在做什么？它没有在函数中使用，所以我无法弄清楚为什么要使用它。

非常感谢一个示例来说明这是什么“技巧”以及为什么使用它。

Answer 1

您在错误代码中发现的一个常见模式是在函数模板中使用显式模板参数，否则会执行模板参数推导，例如

std::make_pair<int,std::string>(1729, "Hello World!");

这是多余的，在这种情况下，第二个参数的显式类型甚至与推导的类型不同。

为了防止人们这样做，您可以在要推导的参数前面放置一个可变的伪模板参数，这样就没有人可以明确命名这些参数。

开发人员显然选择了 int&... 作为伪造参数的类型，但它可能是任何其他东西(也是另一种类型)并且为了提高代码的可读性，他们还提供了它一个名称，ExplicitArgumentBarrier，现在应该有意义了。