[gelöst] Typüberprüfung Compilezeit

Reply to [gelöst] Typüberprüfung Compilezeit on Wed, 27 Oct 2010 13:14:36 GMT

muffmolch — Wed, 27 Oct 2010 13:14:36 GMT

Ja, die Überschrift ist nicht das Gelbe vom Ei, denn das macht ja der Compiler

Folgendes: Im Code habe ich verschiedene typedefs vorliegen.

z.B.

typedef int MyType1
typedef int MyType2

nun möchte ich bspw. mittels boost_static_assert überprüfen, ob MyType1 und MyType2 DENSELBEN Typen verwenden. Diesbezüglich gab es ein glaub ein boost-Template-Schnippsel, der mir grad nicht einfallen möchte

Reply to [gelöst] Typüberprüfung Compilezeit on Wed, 27 Oct 2010 12:59:29 GMT

muffmolch — Wed, 27 Oct 2010 12:59:29 GMT

template
bool same_type(T const&, T const&) {
	return true;
}

template
bool same_type(T const&, U const&) {
	return false;
}

hab ich.. aber ich wollte eben gerne die boost-templates verwenden...

Reply to [gelöst] Typüberprüfung Compilezeit on Wed, 27 Oct 2010 13:14:19 GMT

muffmolch — Wed, 27 Oct 2010 13:14:19 GMT

#include 
#include 
BOOST_MPL_ASSERT(( boost::is_same< wchar_t, wchar_t > ));

und wech

Reply to [gelöst] Typüberprüfung Compilezeit on Wed, 27 Oct 2010 13:39:45 GMT

asc — Wed, 27 Oct 2010 13:39:45 GMT

Hier hilft dir keine Bibliothek. MyType1 und MyType2 sind absolut identisch. Ein typedef erzeugt keinen neuen Typ, sondern nur einen Aliasnamen, den du in deinem Programm verwenden kannst.

Wenn du einen neuen Typ willst, musst du eine Struktur oder Klasse mit entsprechenden Namen erzeugen.

Reply to [gelöst] Typüberprüfung Compilezeit on Wed, 27 Oct 2010 14:04:58 GMT

muffmolch — Wed, 27 Oct 2010 14:04:58 GMT

nein, ich möchte nur sicherstellen, dass Typ1 == Typ2. Schon klar was ein Alias ist Nur möchte ich auf diesem Wege verifizieren, dass meine Annahme durch achtlose Änderung eines Dritten (der z.B. das typedef ändert, da sich diese nat nicht in der selben Datei befinden) nicht mehr stimmt

Aber wie gesagt mein letzter Post war die Lsg dafür (hatte es zuvor nur nicht auf Anhieb gefunden)

Reply to [gelöst] Typüberprüfung Compilezeit on Wed, 27 Oct 2010 14:37:47 GMT

unskilled — Wed, 27 Oct 2010 14:37:47 GMT

template
struct is_same
{
  static const bool value = false;
};

template
struct is_same
{
  static const bool value = true;
};

#include 

int main()
{
  assert(! (is_same::value));
  assert(  (is_same::value));
//  assert(  (is_same::value));
}

die zusätzlichen klammern sind bissl blöd - aber da gibts sicherlich nen trick, die auch wegzubekommen
musst du mal warten, bis jmd kompetenteres über den thread stolpert

edit:
ich seh gerad - ich hätt auch mal aktualisieren können, bevor ich poste^^
wenn du boost eh schon drin hast, würd ich es auch so lassen - ansonsten würd ich vrmtl boost rauslassen und das assert einfach nur durch nen staticassert ersetzen...

Reply to [gelöst] Typüberprüfung Compilezeit on Fri, 29 Oct 2010 08:53:34 GMT

muffmolchTmp — Fri, 29 Oct 2010 08:53:34 GMT

ja, boost wird so und so verwendet. Anosnten haette ich auch die Lösung präfieriert. Allerdings smit nem static assert