Address of an overloaded function

함수 호출 표현식 이 일어나는 경우를 제외하고, 오버로드된 함수의 이름은 다음 7가지 컨텍스트에서 나타날 수 있습니다:

각 컨텍스트에서, 오버로드된 함수의 이름 앞에는 주소 연산자 & 가 올 수 있으며, 중복된 괄호 세트로 둘러싸일 수 있습니다.

함수 선택

오버로드된 함수의 주소를 취할 때, 오버로드 함수의 이름으로 참조되는 오버로드 집합에서 함수들의 집합 S 가 선택됩니다:

• 대상이 없는 경우, 명명된 모든 비템플릿 함수가 선택됩니다.
• 그렇지 않으면, 대상 타입의 함수 타입 FT 에 대해 타입 F 를 가진 비템플릿 함수가 F ( 함수 포인터 변환 을 가능하게 적용한 후) (C++17부터) 가 FT 와 동일할 경우 선택됩니다. ^[1]
• 각 함수 템플릿에 대해 템플릿 인수 추론 으로 생성된 특수화(존재하는 경우)도 S 에 추가됩니다.

대상이 함수 포인터 타입이거나 함수 타입에 대한 참조인 경우, S 는 비멤버 함수만 포함할 수 있습니다 , 명시적 객체 멤버 함수 (C++23부터) 및 정적 멤버 함수. 대상이 멤버 함수 포인터 타입인 경우, S 는 암시적 객체 멤버 함수만 포함할 수 있습니다.

1. ↑ 달리 말하면, 대상 타입이 멤버 함수 포인터 타입인 경우 함수가 멤버인 클래스는 무시됩니다.

함수 제거

집합 S 를 형성한 후, 함수들은 다음 순서로 제거됩니다:

• S 에 둘 이상의 함수가 남아 있는 경우, S 에 비템플릿 함수가 포함되어 있으면 S 내의 모든 함수 템플릿 특수화가 제거됩니다.

• 주어진 함수 템플릿 특수화 spec 는 S 에 함수 템플릿이 spec 의 함수 템플릿보다 더 특수화된 두 번째 함수 템플릿 특수화를 포함하는 경우 제거됩니다.

이러한 제거 후(있는 경우) 정확히 하나의 선택된 함수가 S 에 남아 있어야 합니다. 그렇지 않으면 프로그램이 형식에 맞지 않습니다.

예제

int f(int) { return 1; }
int f(double) { return 2; }
void g(int(&f1)(int), int(*f2)(double)) { f1(0); f2(0.0); }
template<int(*F)(int)>
struct Templ {};
struct Foo
{
    int mf(int) { return 3; }
    int mf(double) { return 4; }
};
struct Emp
{
    void operator<<(int (*)(double)) {}
};
int main()
{
    // 1. 초기화
    int (*pf)(double) = f; // int f(double) 선택
    int (&rf)(int) = f; // int f(int) 선택
    int (Foo::*mpf)(int) = &Foo::mf; // int mf(int) 선택
    // 2. 대입
    pf = nullptr;
    pf = &f; // int f(double) 선택
    // 3. 함수 인자
    g(f, f); // 첫 번째 인자로 int f(int) 선택
             // 두 번째 인자로 int f(double) 선택
    // 4. 사용자 정의 연산자
    Emp{} << f; // int f(double) 선택
    // 5. 반환 값
    auto foo = []() -> int (*)(int)
    {
        return f; // int f(int) 선택
    };
    // 6. 캐스트
    auto p = static_cast<int(*)(int)>(f); // int f(int) 선택
    // 7. 템플릿 인자
    Templ<f> t;  // int f(int) 선택
    // [[maybe_unused]]처럼 "사용되지 않은 변수" 경고 방지
    [](...){}(pf, rf, mpf, foo, p, t);
}

결함 보고서

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

참고문헌