비포인터, 비참조 인수의 불변성에만 기반하여 C 함수를 오버로드할 수 있습니까?

Const 인수를 사용한 함수 오버로딩

C에서 함수 오버로딩을 사용하면 이름은 같지만 인수 유형이 다른 여러 함수를 정의할 수 있습니다. 숫자. 그러나 인수의 불변성을 기반으로 오버로드하는 데에는 한계가 있습니다.

주어진 코드를 고려하세요.

#include <iostream>
using std::cout;

class Test {
public:
    Test() {}
    int foo(const int) const;
    int foo(int);
};

int main() {
    Test obj;
    Test const obj1;
    int variable = 0;
    do {
        obj.foo(3);                           // Call the const function
        obj.foo(variable);                 // Attempt to call the non-const function
        variable++;
        usleep(2000000);
    } while (1);
}

int Test::foo(int a) {
    cout << "NON CONST" << std::endl;
    a++;
    return a;
}

int Test::foo(const int a) const {
    cout << "CONST" << std::endl;
    return a;
}

이 코드는 인수의 불변성을 기반으로 foo 함수를 오버로드하려고 시도합니다. 그러나 컴파일러는 함수를 오버로드할 수 없다는 오류를 발생시킵니다.

설명

C에서 함수 오버로드는 포인터가 아닌 포인터의 상수에만 기반하여, 비참조 유형 인수는 허용되지 않습니다. 이는 컴파일러가 값으로 전달되는 값의 상수성을 기반으로 두 함수를 구별할 수 없기 때문입니다.

주어진 코드에서 foo의 두 버전 모두 값으로 정수를 받습니다. 인수가 값으로 전달되면 변수의 복사본이 생성되고 형식 매개변수의 불변성은 복사본의 값에 영향을 주지 않습니다.

따라서 컴파일러는 어떤 버전의 변수인지 확인할 방법이 없습니다. 값으로 상수가 아닌 정수가 전달된 경우 foo를 호출합니다. 이러한 모호성은 동일한 시그니처를 가진 함수에 대한 오버로딩 금지를 위반합니다.

대체 접근 방식

원하는 동작을 달성하기 위해 대체 접근 방식을 사용할 수 있습니다. 한 가지 옵션은 아래와 같이 명시적인 상수와 함께 참조별 전달을 사용하는 것입니다.

int foo(const int& a);
int foo(int& a);

이 접근 방식을 사용하면 컴파일러는 참조의 상수를 기반으로 두 함수를 구별할 수 있으므로 적절한 결과가 허용됩니다. 과부하.

위 내용은 비포인터, 비참조 인수의 불변성에만 기반하여 C 함수를 오버로드할 수 있습니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!