C++11变量数量的参数,相同的特定类型
C++11 variable number of arguments, same specific type
问题很简单,我该如何实现一个采用可变数量参数的函数(类似于可变模板),但是在所有参数都具有相同类型的情况下,比如int。
我在想类似的事情;
void func(int... Arguments)
或者,类型上的递归静态断言是否有效?
一个可能的解决方案是使参数类型成为一个可以由大括号初始化器列表初始化的容器,例如std::initializer_list<int>
或std::vector<int>
。例如:
#include <iostream>
#include <initializer_list>
void func(std::initializer_list<int> a_args)
{
for (auto i: a_args) std::cout << i << 'n';
}
int main()
{
func({4, 7});
func({4, 7, 12, 14});
}
这是一个从重载集中删除函数的版本,而不是给出static_assert。这允许您提供在类型不完全相同时可以使用的函数的其他重载,而不是无法避免的致命static_assert。
#include <type_traits>
template<typename... T>
struct all_same : std::false_type { };
template<>
struct all_same<> : std::true_type { };
template<typename T>
struct all_same<T> : std::true_type { };
template<typename T, typename... Ts>
struct all_same<T, T, Ts...> : all_same<T, Ts...> { };
template<typename... T>
typename std::enable_if<all_same<T...>::value, void>::type
func(T...)
{ }
如果你想支持完美转发,你可能想在检查类型之前衰减它们,这样函数就会接受左值和右值参数的混合,只要它们具有相同的类型:
template<typename... T>
typename std::enable_if<all_same<typename std::decay<T>::type...>::value, void>::type
func(T&&...)
{ }
或者,如果你有一个测试逻辑连接的通用特性,你可以使用std::is_same
而不是编写自己的all_same
:
template<typename T, typename... Ts>
typename std::enable_if<and_<is_same<T, Ts>...>::value, void>::type
func(T&&, Ts&&...)
{ }
因为这至少需要一个参数,所以还需要另一个重载来支持零参数的情况:
void func() { }
and_
助手可以这样定义:
template<typename...>
struct and_;
template<>
struct and_<>
: public std::true_type
{ };
template<typename B1>
struct and_<B1>
: public B1
{ };
template<typename B1, typename B2>
struct and_<B1, B2>
: public std::conditional<B1::value, B2, B1>::type
{ };
template<typename B1, typename B2, typename B3, typename... Bn>
struct and_<B1, B2, B3, Bn...>
: public std::conditional<B1::value, and_<B2, B3, Bn...>, B1>::type
{ };
我认为您可以通过在从参数包中取出参数时指定一个具体类型来实现这一点。类似于:
class MyClass{};
class MyOtherClass{};
void func()
{
// do something
}
template< typename... Arguments >
void func( MyClass arg, Arguments ... args )
{
// do something with arg
func( args... );
// do something more with arg
}
void main()
{
MyClass a, b, c;
MyOtherClass d;
int i;
float f;
func( a, b, c ); // compiles fine
func( i, f, d ); // cannot convert
}
在一般情况下,void func( MyClass arg, Arguments ... args )
将变为模板类型为T的void func( arg, Arguments ... args )
。
@Skeen这个怎么样?
template <typename T>
void func_1(std::initializer_list<T>&& a) {
// do something
}
template <typename... T>
void func(T&&... a) {
func_1({std::forward<T>(a)...});
}
int main() {
func(1, 2, 3);
// func(1, 2, 3, 4.0); // OK doesn't compile
}
如果您不想使用基于大括号的initializer_list
/vector
,并且希望以参数包的形式将参数分开,那么下面的解决方案在编译时使用递归static_assert
s进行检查:
#include<type_traits>
template<typename T1, typename T2, typename... Error>
struct is_same : std::false_type {};
template<typename T, typename... Checking>
struct is_same<T, T, Checking...> : is_same<T, Checking...> {};
template<typename T>
struct is_same<T,T> : std::true_type {};
template<typename... LeftMost>
void func (LeftMost&&... args)
{
static_assert(is_same<typename std::decay<LeftMost>::type...>::value,
"All types are not same as 'LeftMost'");
// ...
}
int main ()
{
int var = 2;
func(1,var,3,4,5); // ok
func(1,2,3,4.0,5); // error due to `static_assert` failure
}
实际上,这个解决方案将检查所有关于第一个论点的论点。假设它是double
,则所有内容都将对照double
进行检查。
因为我认为我没有看到这个解决方案,所以您可以为每种类型编写一个特定的函数(在您的情况下,只有int
),然后编写一个采用可变参数类型的转发函数。
写出每个具体案例:
那么对于每个特定的情况:
// only int in your case
void func(int i){
std::cout << "int i = " << i << std::endl;
}
然后你的转发功能是这样的:
template<typename Arg0, typename Arg1 typename ... Args>
void func(Arg0 &&arg0, Arg1 &&arg1, Args &&... args){
func(std::forward<Arg0>(arg0));
func(std::forward<Arg1>(arg1), std::forward<Args>(args)...);
}
这很好,因为当你想接受另一种类型时,它是可扩展的。
像这样使用:
int main(){
func(1, 2, 3, 4); // works fine
func(1.0f, 2.0f, 3.0f, 4.0f); // compile error, no func(float)
}
- 在 c++ 中的模板实例化中使用带有构造函数的类作为类型参数
- 如何解决一元"*"(有"字符")错误的无效类型参数?
- "std::shared_ptr":不是参数"_Ty"的有效模板类型参数
- 具有可变参数非类型参数的模板专用化
- 函数类型参数的模板参数推导
- PowerShell 使用结构类型参数调用 C++ DLL 的导出函数
- 对于非常量指针类型的参数,未调用具有常量指针模板类型参数的功能
- 为模板传递非类型参数 agument
- 为什么带有类型参数的运算符 () 可以应用于 result_of 上下文中的类型?
- 使用其他模板类型参数作为要在函数签名中使用的类型别名声明
- 如何避免具有相同类型参数的函数中的错误
- 将内置类型变量传递给只有一个类类型参数的"+"运算符函数时自动类型转换的构造函数
- c++非类型参数包扩展
- 如何实现对参数顺序不可知的std::same_as的广义形式(即对于两个以上的类型参数)
- 在不同的模板参数包之间分发非类型参数包
- 如何在使用容器和字符串时强制使用显式分配器类型参数
- 错误:一元"*"的类型参数无效(具有"int"):使用 mergesort 计算
- EXPECT_CALL具有 unique_ptr 引用类型参数的模拟函数
- 作为模板类型参数,为什么 type[N] 与其专用版本不匹配----模板<类 T>类 S<T[]>
- C++ 模板:重载时找不到基类类型参数方法