c++ - 简洁的方式来指定我不关心函数参数的模板参数？

Question

考虑以下代码:

int64_t signed_vector_size(const std::vector v){
    return (int64_t)v.size();
}

这不起作用，因为 std::vector 是一个模板。但我的函数适用于每个 T!

简单的解决方法就是这样做

1)

template<typename T>
int64_t signed_vector_size(const std::vector<T>& v){
    return (int64_t)v.size();
}

或使模板隐式

2)

int64_t signed_vector_size(const auto& v){
    return (int64_t)v.size();
}

或者concept based solution ，选项 3。

template<class, template<class...> class>
inline constexpr bool is_specialization = false;
template<template<class...> class T, class... Args>
inline constexpr bool is_specialization<T<Args...>, T> = true;

template<class T>
concept Vec = is_specialization<T, std::vector>;

int64_t signed_vector_size(const Vec auto& v){
    return (int64_t)v.size();
}

我喜欢第二种解决方案，但它接受任何v，而我想将其限制为仅 vector 类型。第三是只看功能最好，但具体概念的工作量相对较大。

C++20 语法是否有更短的方式让我指定我想要任何 std::vector 作为参数，还是 1. 解决方案是我们能做的最短的解决方案？

注意:这是一个愚蠢的简化示例，请不要评论我如何花费太多时间来节省输入 10 个字符，或者我如何牺牲可读性(这是我个人的偏好，我理解为什么有些人喜欢显式模板语法)。

Answer 1

模板只是某种东西的模式。 vector是模式； vector<int, std::allocator<int>>是一个类型。函数不能采用模式；它只能采用一种类型。因此函数必须提供实际类型。

因此，如果您想要一个接受模板的任何实例化的函数，那么该函数本身必须是一个模板，并且它本身必须需要模板作为参数所需的一切。这必须在函数声明中明确说明。

甚至你的is_specialization不足之处是它假设所有模板参数都是类型参数。它不适用于 std::array ，因为它的参数之一是值，而不是类型。

C++ 没有方便的机制来表达您想要表达的内容。你必须把它说清楚，或者接受一些不太理想的妥协。

此外，从广义上讲，这可能不是一个好主意。如果您的函数已经必须是模板，那么采用任何 sized_range 会有什么危害？ ？一旦开始像这样扩展模板，您将发现自己不太可能绑定(bind)到特定类型，而更愿意接受任何满足特定概念的类型。

也就是说，很少有一个函数足够具体以至于需要 vector ，但足够普遍，它对 value_type 没有要求其中vector也是。