Mengapakah fungsi C tidak boleh dibebankan hanya berdasarkan keteguhan hujah bukan penunjuk dan bukan rujukan?

Melebihi Fungsi dengan Argumen Konst: Mengapa Ia Tidak Boleh Dilakukan

Dalam C , terlebih memuatkan fungsi membenarkan berbilang fungsi dengan nama yang sama tetapi senarai parameter yang berbeza untuk wujud bersama dalam kelas. Walau bagaimanapun, seseorang tidak boleh membebankan fungsi semata-mata berdasarkan keteguhan parameter bukan penuding dan bukan rujukan.

Pertimbangkan contoh kod berikut:

#include <iostream>
using std::cout;

class Test {
public:
    Test() {}
    int foo(const int) const;    // const function
    int foo(int);                // non-const function
};

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;
}

Seperti yang terbukti dalam kod, kami cuba melebihkan kaedah foo berdasarkan constness hujah: versi const yang menerima hujah const dan versi bukan const yang menerima hujah bukan const. Walau bagaimanapun, kod ini akan mengakibatkan ralat kompilasi yang menyatakan bahawa fungsi tidak boleh terlebih beban.

Ralat ini timbul kerana C tidak membenarkan lebihan muatan hanya berdasarkan keteguhan jenis bukan penunjuk, bukan rujukan. Sebabnya ialah apabila menghantar argumen nilai, argumen sebenar disalin ke dalam pembolehubah sementara di dalam fungsi yang dipanggil. Salinan ini berbeza daripada hujah asal dan kekonstanannya tidak menjejaskan ketepatan hujah asal.

Oleh itu, dalam contoh di atas, apabila memanggil obj.foo(3), salinan sementara bagi literal 3 dicipta, dan ia dihantar ke fungsi const. Begitu juga, apabila memanggil obj.foo(pembolehubah), salinan sementara pembolehubah dibuat dan dihantar ke fungsi bukan const. Pengkompil tidak boleh membezakan antara kedua-dua kes ini berdasarkan keteguhan hujah semata-mata.

Ringkasnya, fungsi lebih muatan berdasarkan keteguhan jenis bukan penuding dan bukan rujukan tidak dibenarkan dalam C . Ini kerana constness argumen nilai tidak mempengaruhi constness argumen di dalam fungsi dan pengkompil tidak dapat membezakan antara keduanya berdasarkan jenis argumen sahaja.

Atas ialah kandungan terperinci Mengapakah fungsi C tidak boleh dibebankan hanya berdasarkan keteguhan hujah bukan penunjuk dan bukan rujukan?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!