- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
考虑以下代码:
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 个字符,或者我如何牺牲可读性(这是我个人的偏好,我理解为什么有些人喜欢显式模板语法)。
最佳答案
模板只是某种东西的模式。 vector
是模式; vector<int, std::allocator<int>>
是一个类型。函数不能采用模式;它只能采用一种类型。因此函数必须提供实际类型。
因此,如果您想要一个接受模板的任何实例化的函数,那么该函数本身必须是一个模板,并且它本身必须需要模板作为参数所需的一切。这必须在函数声明中明确说明。
甚至你的is_specialization
不足之处是它假设所有模板参数都是类型参数。它不适用于 std::array
,因为它的参数之一是值,而不是类型。
C++ 没有方便的机制来表达您想要表达的内容。你必须把它说清楚,或者接受一些不太理想的妥协。
此外,从广义上讲,这可能不是一个好主意。如果您的函数已经必须是模板,那么采用任何 sized_range
会有什么危害? ?一旦开始像这样扩展模板,您将发现自己不太可能绑定(bind)到特定类型,而更愿意接受任何满足特定概念的类型。
也就是说,很少有一个函数足够具体以至于需要 vector
,但足够普遍,它对 value_type
没有要求其中vector
也是。
关于c++ - 简洁的方式来指定我不关心函数参数的模板参数?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/65584730/
我一直在学习如何创建自定义 ArrayAdapter 并熟悉重写 ArrayAdapter 的 getViewTypeCount 和 getItemViewType 方法。 为什么 Android V
我是一名优秀的程序员,十分优秀!