Как компилятор решает, какую функцию вызывать?

предполагается, что в классе String есть две перегруженные функции-члены (константная версия и неконстантная версия):

char & String::operator[](int i)         //Version 1
{
    cout<<"char & String::operator[](int i) get invoked."<<std::endl;
    return str[i];
}


const char & String::operator[](int i) const       //Version 2
{

    cout<<"const char & String::operator[](int i) const get invoked."<<std::endl;
    return str[i];
}

и есть тестовый фрагмент кода

int main(){
    String a;
    cout<<a[0]<<endl;  //Line 1
    a[0]='A';     //Line 2
}

Как компилятор решает, какую функцию вызывать? Я обнаружил, что версия 1 всегда вызывается, когда я запускаю программу. Может ли кто-нибудь сказать мне, почему это так? И как может вызваться Версия 2?


c++ overloading constants
person JDein    schedule 21.04.2012    source источник

Ответы (2)


arrow_upward
2
arrow_downward

Если объект const, будет вызвана функция-член const. Если объект неконстантный, вызывается неконстантный функция-член.

Exception
Если это только константная функция, она вызывается в любом случае.

#include <iostream>
using namespace std;

class Foo {
public:
    void print() {
        cout << "Foo non-const member function\n";
    }
    void print() const {
        cout << "Foo const member function\n";
    }
};

class Bar {
public:
        void print() const {
                cout << "Bar const member function\n";
        }
};


int main() {
    Foo foo_non_const;
    const Foo foo_const;

    Bar bar_non_const;
    const Bar bar_const;

    foo_non_const.print();
    foo_const.print();

    bar_non_const.print();
    bar_const.print();

    return 0;
}

$ ./бла

Foo non-const member function
Foo const member function
Bar const member function
Bar const member function
person Peter    schedule 21.04.2012
comment
Кстати, как неконстантный объект может вызвать константную функцию? - person JDein; 25.04.2012

arrow_upward
7
arrow_downward

Если a является константой, будет вызвана вторая перегрузка.

int main(){
    const String a;
    cout<<a[0]<<endl;   // would call const version
    a[0]='A';           // will not compile anymore
}
person Luchian Grigore    schedule 21.04.2012