Trong C ++ 11, bạn có hai tùy chọn mới, như trang tham chiếu các hàm Variadic trong phần Thay thế nêu rõ:
- Các mẫu biến thể cũng có thể được sử dụng để tạo các hàm có số lượng đối số thay đổi. Chúng thường là lựa chọn tốt hơn vì chúng không áp đặt các hạn chế đối với các loại đối số, không thực hiện các quảng cáo tích hợp và dấu phẩy động và là loại an toàn. (kể từ C ++ 11)
- Nếu tất cả các đối số biến chia sẻ một loại phổ biến, std :: initizer_list cung cấp một cơ chế thuận tiện (mặc dù với một cú pháp khác nhau) để truy cập các đối số biến.
Dưới đây là một ví dụ hiển thị cả hai lựa chọn thay thế ( xem trực tiếp ):
#include <iostream>
#include <string>
#include <initializer_list>
template <typename T>
void func(T t)
{
std::cout << t << std::endl ;
}
template<typename T, typename... Args>
void func(T t, Args... args) // recursive variadic function
{
std::cout << t <<std::endl ;
func(args...) ;
}
template <class T>
void func2( std::initializer_list<T> list )
{
for( auto elem : list )
{
std::cout << elem << std::endl ;
}
}
int main()
{
std::string
str1( "Hello" ),
str2( "world" );
func(1,2.5,'a',str1);
func2( {10, 20, 30, 40 }) ;
func2( {str1, str2 } ) ;
}
Nếu bạn đang sử dụng gcchoặc clangchúng ta có thể sử dụng biến ma thuật PRETTY_FUNCTION để hiển thị chữ ký loại của hàm có thể hữu ích trong việc hiểu những gì đang diễn ra. Ví dụ: sử dụng:
std::cout << __PRETTY_FUNCTION__ << ": " << t <<std::endl ;
sẽ cho kết quả int sau cho các hàm matrixdic trong ví dụ ( xem trực tiếp ):
void func(T, Args...) [T = int, Args = <double, char, std::basic_string<char>>]: 1
void func(T, Args...) [T = double, Args = <char, std::basic_string<char>>]: 2.5
void func(T, Args...) [T = char, Args = <std::basic_string<char>>]: a
void func(T) [T = std::basic_string<char>]: Hello
Trong Visual Studio, bạn có thể sử dụng FUNCSIG .
Cập nhật Pre C ++ 11
Pre C ++ 11 thay thế cho std :: initizer_list sẽ là std :: vector hoặc một trong các thùng chứa tiêu chuẩn khác :
#include <iostream>
#include <string>
#include <vector>
template <class T>
void func1( std::vector<T> vec )
{
for( typename std::vector<T>::iterator iter = vec.begin(); iter != vec.end(); ++iter )
{
std::cout << *iter << std::endl ;
}
}
int main()
{
int arr1[] = {10, 20, 30, 40} ;
std::string arr2[] = { "hello", "world" } ;
std::vector<int> v1( arr1, arr1+4 ) ;
std::vector<std::string> v2( arr2, arr2+2 ) ;
func1( v1 ) ;
func1( v2 ) ;
}
và lựa chọn thay thế cho các mẫu matrixdic sẽ là các hàm matrixdic mặc dù chúng không an toàn về kiểu và thường dễ bị lỗi và có thể không an toàn khi sử dụng nhưng chỉ có một sự thay thế tiềm năng khác là sử dụng các đối số mặc định , mặc dù điều đó đã hạn chế sử dụng. Ví dụ dưới đây là phiên bản sửa đổi của mã mẫu trong tham chiếu được liên kết:
#include <iostream>
#include <string>
#include <cstdarg>
void simple_printf(const char *fmt, ...)
{
va_list args;
va_start(args, fmt);
while (*fmt != '\0') {
if (*fmt == 'd') {
int i = va_arg(args, int);
std::cout << i << '\n';
} else if (*fmt == 's') {
char * s = va_arg(args, char*);
std::cout << s << '\n';
}
++fmt;
}
va_end(args);
}
int main()
{
std::string
str1( "Hello" ),
str2( "world" );
simple_printf("dddd", 10, 20, 30, 40 );
simple_printf("ss", str1.c_str(), str2.c_str() );
return 0 ;
}
Việc sử dụng các hàm matrixdic cũng đi kèm với các hạn chế trong các đối số bạn có thể vượt qua, được nêu chi tiết trong dự thảo tiêu chuẩn C ++ trong phần 5.2.2 Chức năng gọi đoạn 7 :
Khi không có tham số cho một đối số đã cho, đối số được truyền theo cách sao cho hàm nhận có thể nhận được giá trị của đối số bằng cách gọi va_arg (18.7). Các chuyển đổi tiêu chuẩn lvalue-to-rvalue (4.1), mảng-to-con trỏ (4.2) và hàm chuyển sang hàm (4.3) được thực hiện trên biểu thức đối số. Sau các chuyển đổi này, nếu đối số không có số học, liệt kê, con trỏ, con trỏ đến thành viên hoặc loại lớp, chương trình sẽ không được định dạng. Nếu đối số có loại lớp không POD (mệnh đề 9), hành vi không được xác định. [...]