Prevenire L-value esemplificazione in C++ 14

Question

Methods in C++ 14 può dire se si chiamano su un L-valore o un valore di R:

struct A{ 
    A() { puts("Ctor"); } 
    void m() const & { puts("L-value"); } 
    void m() const && { puts("R-value"); } 
}; 

int main(){ 
    A a; //Ctor 
    a.m() //L-value 
    A().m(); //Ctor; R-value 
} 

Può un ctor dire quale tipo sta costruendo? Posso disabilitare completamente la costruzione dei valori L dalla mia classe?

Ho una classe proxy (diversi, in realtà), che dovrebbe sempre convertire in qualcos'altro. Usarlo senza convertire è un errore. Posso rilevare questo errore in fase di runtime, ad esempio aggiungendo un membro #ifndef NDEBUG; e impostandolo nel cast specificato dall'utente, quindi eseguendo assert(used_) nella classe del proxy Dtor, tuttavia sarebbe molto meglio se potessi ottenere il compilatore per impedire instatiation di L-value istanze di tale delega, in primo luogo:

auto x = Proxy().method1().method2(); // no 
Proxy p; // no 
Target x = Proxy(); //yes 
Target x = Proxy().method1().method2(); //yes 

Posso fare qualcosa di simile con il C++ 14?

Answer 1

Perché, naturalmente:

#include <iostream> 
using namespace std; 

class B; 

class A 
{ 
public: 
    A(B&& b) {} 

    A(const B&) = delete; 
}; 

class B {}; 

int main() 
{ 
    B b; 

    // A a1; <- error 
    // A a2 = b; // <- error 
    A a3 = move(b); // <- fine 

    return 0; 
} 

Answer 2

struct temporary_only { 
    static temporary_only make() { return {}; } 
    temporary_only(temporary_only&&)=delete; 
    int get()&& { return 3; } 
private: 
    temporary_only() {} 
}; 

int main() { 
    //temporary_only x; // illegal 
    std::cout << temporary_only::make().get() << '\n'; // legal 
} 

live example.

Disattiviamo tutti i medici pubblici (inclusa copia/spostamento), quindi nessuno può creare un temporary_only eccetto tramite temporary_only::make (un valore massimo).

Nota che

temporary_only&& a = temporary_only::make(); 

funziona ancora. Qui abbiamo un rvalue associato a un riferimento di rvalue e quel riferimento di rvalue è esso stesso un lvalue con una durata di più righe (durata dell'ambito). Questo non può essere fermato.