Mit Zeiger Template-Parameter

Question

ich den folgenden Code haben:

struct Port { 
    int reg1; 
    int reg2; 
}; 

#define PORT1 ((Port *) 0x00010000); // absolutely compile-time constants 
#define PORT2 ((Port *) 0x00020000); 

template <Port * port> 
class PortWrapper { 
public: 
    PortWrapper() { 
     port->reg1 = 1; 
     port->reg2 = 2; 
    } 
}; 

constexpr static const Port * const port1c = PORT1; 

int main(int argc, char* argv[]) { 
    PortWrapper<PORT1> port1; //Compiler says: error: could not convert template argument '65536u' to 'Port*' 
    PortWrapper<port1c> port1; //Compiler says: error: 'port1c' is not a valid template argument because 'port1c' is a variable, not the address of a variable 
} 

Wie kann ich diese Vorlage instanziiert?

Ich kann dies tun:

Port port; 
int main() { 
    PortWrapper<&port> port1; 
} 

Aber das ist nicht das, was ich brauche. Ich brauche einen Port, der auf eine vordefinierte konstante Adresse abgebildet wird.

Answer 1

Sie können nicht wie sie ist, da nicht type Template-Argumente vom Zeigertyp nur Nullzeigerausdrücke oder Adressen von Objekten sein können, und eine Konvertierung von einem Integer ist keines davon.

Sie könnten die Vorlage leicht Redesign:

template <uintptr_t portAddr> 
class PortWrapper { 
private: 
    static constexpr Port* port() { return (Port*)portAddr; } 

public: 
    PortWrapper() { 
    port()->reg1 = 1; 
    port()->reg2 = 2; 
    } 
}; 

Beachten Sie, dass in den Kommentaren, ob @KonradRudolph Streitigkeiten dies strikt an die Regeln für eine constexpr Funktion folgt, und es ist durchaus möglich, es funktioniert nicht. Dennoch, auch wenn constexpr aus dem oben genannten weggelassen wird, wird jeder ordentliche Compiler den Aufruf von port() inline, was effektiv zu Kompilierungszeit Auswertung führt.