const-Referenz qualifizierte Memberfunktion

Question

Die Aktien Beispiel einer Referenzqualifizierten Memberfunktion scheint so etwas zu sein:

#include <stdio.h> 
#include <stdexcept> 
#include <string> 

// Easy access to literals 
using namespace std::literals; 

// File wrapper 
class File { 
    private: 
    // The wrapped file 
    FILE *_file; 
    public: 
    File(const char *name) : 
     _file(fopen(name, "r")) { 
     // unable to open the file? 
     if (!_file) throw std::runtime_error{ "Unable to open file: "s + name }; 
    } 
    ~File() { 
     fclose(_file); 
    } 

    // Convert to the underlying wrapped file 
    operator FILE *() & { 
     return _file; 
    } 

    // TODO: Member functions for working with the file 
}; 

Diese gut funktioniert. Es ist nicht möglich, den zugrunde liegenden FILE-Zeiger direkt von einem unbenannten temporären Objekt abzurufen. Wenn wir jedoch den Casting-Operator auch const-qualifiziert machen, scheint das nicht mehr zu funktionieren.

Verschiedene Compiler einfach schlucken es ohne Beschwerde, obwohl es eine sehr nützliche Idee ist. Nehmen wir zum Beispiel die Memberfunktion std :: string :: c_str(). Sie denken, es sollte Referenz-qualifiziert sein (weil Sie sonst einen ungültigen Zeiger haben), aber es ist nicht.

Ist das ein Loch in der C++ 11-Norm? Fehle ich hier etwas?

Answer 1

Ein temporäres Objekt kann an ein const& qualifiziertes Objekt gebunden werden, und das ref-Qualifikationsmerkmal qualifiziert das implizit übergebene Objekt effektiv (*this). Wenn Sie Aufrufe von Provisorien verhindern, aber L-Werte zulassen möchten, können Sie die Rvalue-Referenzüberladung = delete implementieren und die Lvalue-Version implementieren. Mit const qualifizierter Referenz-Qualifikation für beiden Betreiber benötigt nur eine implementiert und eine = delete d Umsetzung:

class File { 
    // ... 
    FILE* _file; 
public: 
    operator FILE*() const&& = delete; 
    operator FILE*() const& { return this->_file; } 
    // ... 
}; 

Der Netto-Effekt ist, dass Sie die Konvertierung verwenden können nur für Objekte, zu denen Sie einen L-Wert gehen:

int main() { 
    File  f; 
    File const cf{}; 

    FILE* fp = f;    // OK 
    FILE* cfp = cf;   // OK 
    FILE* tfp = File();  // ERROR: conversion is deleted 
    FILE* mfp = std::move(cf); // ERROR: conversion is deleted 
}