typu mającego konwersję do typu && operatora

Question

ja zaskoczeni, widząc, że po kompilacji:

struct C { 
    operator C&&() { 
     std::cerr << "ref'd\n"; 
     throw std::runtime_error("what is happening?"); 
    } 
}; 

typu z operatorem na własnej przemiany RValue-odniesienia. Jednak nie mogę zmusić operatora do wywołania tego, co myślę, że może to zrobić. Przekazywanie wartości do funkcji pobierającej wartość rvalue kończy się niepowodzeniem, a wywołanie std::move obiektu nie wywołuje niczego.

Dlaczego ten kod jest w stanie skompilować się w ogóle i czy istnieje sposób, aby uruchomić tę funkcję?

clang daje warning: conversion function converting 'C' to itself will never be used z lub bez odniesienia do typu.

Answer 1

struct C 
{ 
    operator C() 
    { 
    } 
}; 

jest również dozwolone i daje takie samo ostrzeżenie. To, o których mowa w §12.3.2/1:

Funkcja konwersji nie służy do konwersji (ewentualnie CV-kwalifikowana) obiektu do (ewentualnie) cv wykwalifikowany samego typu obiektu (lub odniesienie do tego), do (prawdopodobnie kwalifikowanej z cv) klasy bazowej z tego typu (lub odniesienia do niego) lub do (ewentualnie kwalifikowanego cv) nieważne.

Innymi słowy, nie jest zabronione, ale po prostu nie robi nic. Yakk i Wintermute już przedstawiono przykłady funkcji element składni połączenie, ale cppreference przedstawia przykład wirtualnego wysłania które omówiono w przypisie 116 (N3337, przypis 118 N4140)

struct D; 
struct B { 
    virtual operator D() = 0; 
}; 
struct D : B 
{ 
    operator D() override { return D(); } 
}; 

int main() 
{ 
    D obj; 
    D obj2 = obj; // does not call D::operator D() 
    B& br = obj; 
    D obj3 = br; // calls D::operator D() through virtual dispatch 
} 

Answer 2

void foo(C&&){} 
int main(){ 
    C c; 
    foo(c.operator C&&()); 
} 

więc zasadniczo bezużyteczne , ale nie do końca.