mit Templateargument Methoden "entfernen"?

[camper]

otze schrieb:

aber die sind doch in dem Moment vorhanden wo die Klasse instanziiert wird. Und zum Beispiel der gcc versucht dann jede Funktion zu instanziieren, selbst wenn sie nicht aufgerufen wird.

Sollte er eigentlich nicht, sofern es nicht eine explizite Instantiierung der Klasse oder aber die Funktion selbst virtuell ist.

[Sone]

<strong>N3337 §14.7.1 / 1</strong> schrieb:

The implicit instantiation of a class template specialization causes the implicit instantiation of the declarations, but not of the definitions or default arguments, of the class member functions

Ist das der richtige Teil?

[camper]

Sone schrieb:

<strong>N3337 §14.7.1 / 1</strong> schrieb:

The implicit instantiation of a class template specialization causes the implicit instantiation of the declarations, but not of the definitions or default arguments, of the class member functions

Ist das der richtige Teil?

ja

template <bool R, bool W>
struct X {
  void read()
  {
      static_assert( R, "read not enable for this type!" );
      // ...
  }
  void write()
  {
      static_assert( W, "write not enable for this type!" );
      // ...
  }
  bool is_open() const {};
};

X<false,false> a;
X<false,true> b;
X<true,false> c;
X<true,true> d;

//template struct X<false,false>;

int main() {}

wird anstandslos von g++ 4.3.6, 4.4.7, 4.5.4, 4.6.3, 4.7.2, 4.8.0 (20121216) und clang++ 3.2 kompiliert.
Eine explizite Instantiierung (außer <true,true>) oder die Deklaration als virtuelle Funktion führt dagegen zum Fehler.

[Shade Of Mine]

Problem ist aber: wenn write() zB Schreibzugriff auf etwas vordert dass nur Schreibzugriff hat wenn W true ist - dann gibt es Fehler.

Deshalb gefaellt mir Nexus' Variante am besten - da sie flexibel ist.

Bei read/write koennte ich ja zB eine datei einmal als readonly, writeonly und einmal als read/write oeffnen wollen...

[hustbaer]

Ich verstehe das Problem nicht.
Ein einfaches "if (W)" im Konstruktor um den Open-Mode anzupassen sollte doch reichen.
write() kann doch eh nicht instanziert werden wenn W nicht true ist, also wo soll es da zu einem Problem kommen?
Vor allem verstehe ich nicht was die Basisklassen-Variante dabei besser machen/mehr können sollte.

Ich steh grad ziemlich aufm Schlauch oder du hast dich vertan.

[5cript]

ich habe mich für die einfache static_assert Variante entschieden.
Eindeutig, einfach, gut

[Danke für das Brainstorming]