const odniesienie funkcja wykwalifikowany członek

Question

Przykładowy czas z funkcji członka odniesienia kwalifikacjach wydaje się być coś takiego:

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

Działa to dobrze. Nie jest możliwe bezpośrednie pobranie bazowego wskaźnika PLIKu z nienazwanego tymczasowego. Jeśli jednak udostępnimy operatorowi odlewania, nie będzie to już działać.

Różne kompilatory po prostu połknąć bez skargi, mimo że jest to bardzo przydatne rozwiązanie. Weźmy na przykład funkcję członka std :: string :: c_str(). Czujesz, że powinien być kwalifikowany referencyjnie (ponieważ w przeciwnym razie masz nieprawidłowy wskaźnik), ale tak nie jest.

Czy to jest dziura w standardzie C++ 11? Czy coś mi umyka?

Answer 1

Element tymczasowy może być powiązany z obiektem kwalifikowanym const&, a kwalifikator odwołania skutecznie kwalifikuje obiekt przekazany niejawnie (*this). Jeśli chcesz uniemożliwić wywoływanie plików tymczasowych, ale zezwalasz na wartości l, możesz = delete przeciążać odwołanie wartości rvalue i zaimplementować wersję l-wartości. Korzystanie const wykwalifikowanych kwalifikatorów odniesienia dla obu operatorów wymaga tylko jednego wdrożony i jedną realizację = delete d:

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

efekt netto jest to, że można korzystać z konwersji tylko dla obiektów, do której idziesz lwartością:

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 
}