Rumah >pembangunan bahagian belakang >C++ >Adakah \'Pemasa()\' fungsi atau objek? Memahami \'Paling Menjengkelkan Parse\' dalam C 11.

Adakah \'Pemasa()\' fungsi atau objek? Memahami \'Paling Menjengkelkan Parse\' dalam C 11.

Barbara Streisand
Barbara Streisandasal
2024-11-02 15:33:29760semak imbas

Is

Kekeliruan Menghuraikan Paling Menjengkelkan: Menjelaskan Kekaburan

Dalam C 11, pemula seragam memperkenalkan kekaburan halus yang dikenali sebagai "parse paling menjengkelkan." Mari kita teliti contoh yang menunjukkan isu ini:

<code class="cpp">#include <iostream>

class Timer {
public:
    Timer() {}
};

int main() {
    auto dv = Timer(); // What is Timer() ? And what type is dv?
    int time_keeper(Timer()); // This is a function right? And why isn't the argument " Timer (*) ()"?
    return 0;
}</code>

Analisis:

Dalam baris pertama:

<code class="cpp">auto dv = Timer();</code>
  • Apakah Pemasa()? Pemasa() ialah pembina kelas Pemasa yang tidak mengambil sebarang hujah. Ia memulakan objek jenis Pemasa.
  • Apakah jenis dv? dv diisytiharkan menggunakan auto, yang membuat kesimpulan jenisnya daripada pemula. Memandangkan pemula adalah jenis Pemasa, dv ialah jenis Pemasa.

Dalam baris kedua:

<code class="cpp">int time_keeper(Timer());</code>
  • Adakah ini fungsi? Ya, ini adalah pengisytiharan fungsi. Ia mengisytiharkan fungsi yang dipanggil time_keeper yang mengembalikan int dan mengambil hujah.
  • Mengapakah hujah bukan "Pemasa () ()"? Ini adalah kes pelik bagi kekaburan yang "paling menjengkelkan". Apabila fungsi diluluskan sebagai hujah kepada fungsi lain, ia secara automatik mereput kepada penuding kepada fungsi tersebut. Jadi, dalam kes ini, hujahnya bukanlah Pemasa () (), tetapi Pemasa().

Untuk membuktikannya, pertimbangkan program berikut:

<code class="cpp">#include <type_traits>

struct Timer { };
int main() {
    int time_keeper(Timer());
    static_assert(
        std::is_same<
            decltype(time_keeper),
            int(Timer(*)())
        >::value,
        "This should not fire!");
}</code>

Program ini berjaya menyusun, mengesahkan bahawa time_keeper mengambil penunjuk kepada fungsi sebagai hujah.

Kesimpulannya, kekeliruan "parse paling menjengkelkan" berpunca daripada fakta bahawa ungkapan Timer() boleh ditafsirkan sebagai sama ada objek jenis Pemasa atau penunjuk fungsi kepada fungsi yang mengembalikan Pemasa. Tafsiran yang betul bergantung pada konteks di mana ungkapan itu digunakan.

Atas ialah kandungan terperinci Adakah \'Pemasa()\' fungsi atau objek? Memahami \'Paling Menjengkelkan Parse\' dalam C 11.. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!

Kenyataan:
Kandungan artikel ini disumbangkan secara sukarela oleh netizen, dan hak cipta adalah milik pengarang asal. Laman web ini tidak memikul tanggungjawab undang-undang yang sepadan. Jika anda menemui sebarang kandungan yang disyaki plagiarisme atau pelanggaran, sila hubungi admin@php.cn