У C ++ 11 у вас є два нові параметри, оскільки в довідковій сторінці Variadic функцій у розділі Альтернативи зазначено:
- Варіантні шаблони можуть також використовуватися для створення функцій, що приймають змінну кількість аргументів. Вони часто є кращим вибором, оскільки вони не накладають обмежень на типи аргументів, не виконують інтегральних та рекламних операцій із плаваючою комою та є безпечними для типу. (оскільки C ++ 11)
- Якщо всі аргументи змінної мають спільний тип, std :: inicijalizer_list забезпечує зручний механізм (хоча і з іншим синтаксисом) для доступу до змінних аргументів.
Нижче наведено приклад, що показує обидві альтернативи ( дивіться це в прямому ефірі ):
#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 } ) ;
}
Якщо ви використовуєте gccабо clangми можемо використовувати магічну змінну PRETTY_FUNCTION для відображення підпису типу функції, яка може бути корисною для розуміння того, що відбувається. Наприклад, використовуючи:
std::cout << __PRETTY_FUNCTION__ << ": " << t <<std::endl ;
призведе до int наступного для варіативних функцій у прикладі ( дивіться його в прямому ефірі ):
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
У Visual Studio ви можете використовувати FUNCSIG .
Оновіть попередньо C ++ 11
Попередньо C ++ 11 альтернативою std :: inicijalizer_list буде std :: вектор або один з інших стандартних контейнерів :
#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 ) ;
}
і альтернативою для варіантів шаблонів будуть варіативні функції, хоча вони не є безпечними для типу і загалом схильні до помилок і можуть бути небезпечними для використання, але єдиною іншою можливою альтернативою було б використання аргументів за замовчуванням , хоча це обмежене використання. Приклад нижче - це модифікована версія зразкового коду у зв'язаній посиланнях:
#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 ;
}
Використання різноманітних функцій також має обмеження в аргументах, які ви можете передати, що детально описано в проекті стандарту C ++ у розділі Пункт 7 5.2.2 виклику функцій :
Коли для даного аргументу немає параметра, аргумент передається таким чином, що функція прийому може отримати значення аргументу шляхом виклику va_arg (18.7). Стандартне перетворення lvalue-to-rvalue (4.1), array-to-pointer (4.2) та function-to-pointer (4.3) виконуються на виразі аргументу. Після цих перетворень, якщо аргумент не має арифметики, перерахування, вказівника, вказівника на член або тип класу, програма неправильно формується. Якщо аргумент має тип класу без POD (пункт 9), поведінка не визначена. [...]