Variadic arguments

함수가 임의의 수의 추가 인수를 허용하도록 합니다.

함수는 해당 매개변수 목록 의 마지막 매개변수가 생략 부호( ... )인 경우 가변 인자 함수입니다.

// 함수는 다음과 같이 선언됩니다
int printx(const char* fmt, ...);
int printx(const char* fmt...); // 위와 동일하지만 C++26부터 사용이 권장되지 않음
// 하나 이상의 인수로 호출될 수 있습니다:
printx("hello world");
printx("a=%d b=%d", a, b);
int printy(..., const char* fmt); // 오류: ...은 마지막 매개변수로만 사용 가능합니다
int printz(...); // 유효하지만, 인수에 이식성 있게 접근할 수 없습니다

기본 인수 승격

가변 인수 함수가 호출될 때, lvalue-to-rvalue, array-to-pointer, function-to-pointer 변환 이 수행된 후, 가변 인수 목록의 일부인 각 인수는 기본 인수 승격 이라고 알려진 추가 변환을 거칩니다:

• float 인수는 부동소수점 승격 에서와 같이 double 로 변환됩니다.
• bool , char , short , 그리고 범위 없는 열거형은 정수 승격 에서와 같이 int 또는 더 넓은 정수 타입으로 변환됩니다.

Non-POD 클래스 타입 (C++11 이전) 범위 지정 열거형 및 적격한 비트리비얼 복사 생성자, 적격한 비트리비얼 이동 생성자, 또는 비트리비얼 소멸자를 가진 클래스 타입 (C++11 이후) 은 구현에서 정의된 의미론을 갖는 잠재적으로 평가되는 호출에서 조건부 지원되며(이러한 타입들은 항상 평가되지 않는 호출 에서 지원됩니다).

가변 인수 매개변수는 오버로드 해결 목적상 가장 낮은 순위를 가지므로, SFINAE 에서 흔히 만능 안전망(fallback)으로 사용됩니다.

가변 인자를 사용하는 함수 본문 내에서, 이러한 인자들의 값은 <cstdarg> 라이브러리 기능 을 사용하여 접근할 수 있습니다:

va_start 매크로의 동작은 생략부호 바로 앞의 마지막 매개변수가 참조 타입이거나, 기본 인수 승격 결과 타입과 호환되지 않는 타입인 경우 정의되지 않습니다.

대안

참고 사항

C 프로그래밍 언어에서 C23 이전까지는 생략부호 매개변수 앞에 적어도 하나의 명명된 매개변수가 나타나야 하므로, R printz ( ... ) ; 는 C23 이전에는 유효하지 않습니다. C++에서는 이러한 함수에 전달된 인수에 접근할 수 없음에도 이 형식이 허용되며, SFINAE 에서 폴백 오버로드로 흔히 사용되며, 오버로드 해결 에서 생략부호 변환의 최하위 우선순위를 활용합니다.

가변 인수에 대한 이 구문은 1983년 C++에서 쉼표 없이 줄임표 앞에 도입되었습니다. C89가 C++에서 함수 프로토타입을 채택했을 때, 쉼표를 요구하는 구문으로 대체했습니다. 호환성을 위해 C++98은 C++ 스타일 f ( int n... ) 와 C 스타일 f ( int n, ... ) 모두를 허용합니다. 원래의 C++ 스타일 문법은 C++26부터 사용이 권장되지 않습니다.

결함 보고서

다음의 동작 변경 결함 보고서들은 이전에 발표된 C++ 표준에 소급 적용되었습니다.

참고 항목