<![CDATA[Vom Laufzeitfehler zum Compilezeitfehler]]>Ganz naives Problem, aber ich komme auf keine Lösung. Wie kann ich folgenden simplen Code umbauen, dass es beim Compilieren oder spätestens beim Linken schon einen Fehler gibt und nicht erst zur Laufzeit, wenn nicht gilt: 0 < length < 32

Ich meine mal gelesen zu haben, dass es im neuen C++0x Standard ein Compiletime-Assert geben wird, oder verwechsle ich da etwas?

// Generates a random word existing of <length> lowercase letters.

template<int length>
bool generate_random_word(std::string* word) {
  assert(word != 0);
  assert(length > 0 && length < 32);

  word->clear();
  for (int i = 0; i < length; ++i) {
    word->push_back(generate_random_lowercase_letter());
  }
  return true;
}
]]>https://www.c-plusplus.net/forum/topic/282289/vom-laufzeitfehler-zum-compilezeitfehlerRSS for NodeSun, 23 Aug 2026 08:09:59 GMTThu, 17 Feb 2011 14:19:23 GMT60<![CDATA[Reply to Vom Laufzeitfehler zum Compilezeitfehler on Thu, 17 Feb 2011 14:19:23 GMT]]>Ganz naives Problem, aber ich komme auf keine Lösung. Wie kann ich folgenden simplen Code umbauen, dass es beim Compilieren oder spätestens beim Linken schon einen Fehler gibt und nicht erst zur Laufzeit, wenn nicht gilt: 0 < length < 32

Ich meine mal gelesen zu haben, dass es im neuen C++0x Standard ein Compiletime-Assert geben wird, oder verwechsle ich da etwas?

// Generates a random word existing of <length> lowercase letters.

template<int length>
bool generate_random_word(std::string* word) {
  assert(word != 0);
  assert(length > 0 && length < 32);

  word->clear();
  for (int i = 0; i < length; ++i) {
    word->push_back(generate_random_lowercase_letter());
  }
  return true;
}
]]>https://www.c-plusplus.net/forum/post/2022280https://www.c-plusplus.net/forum/post/2022280Thu, 17 Feb 2011 14:19:23 GMT<![CDATA[Reply to Vom Laufzeitfehler zum Compilezeitfehler on Thu, 17 Feb 2011 14:35:00 GMT]]>So z.B.

template<int length>
void f()
{
    BOOST_STATIC_ASSERT(((length > 0) && (length < 32)));
    //oder
    static_assert((length > 0) && (length < 32), "length out of range");
}
]]>https://www.c-plusplus.net/forum/post/2022294https://www.c-plusplus.net/forum/post/2022294Thu, 17 Feb 2011 14:35:00 GMT<![CDATA[Reply to Vom Laufzeitfehler zum Compilezeitfehler on Thu, 17 Feb 2011 14:37:41 GMT]]>Im neuen Standard wird es das Schlüsselwort static_assert geben. Du kannst dir so etwas aber auch ganz leicht selber bauen, falls du kein C++0x hast:

template <bool T> class static_assert;

template<> class static_assert<true>{};

// ...

static_assert<(length > 0 && length < 32)>();

Oder um dem noch etwas Syntaxzucker zu verpassen, ausnahmsweise mal ein Makro:

#define STATIC_ASSERT(x) static_assert<(x)>()

// ...

STATIC_ASSERT(length > 0 && length < 32);

edi: 29 Sekunden zu spät. Immerhin zeigt mein Beitrag wie man so etwas selber machen kann. A propos, @Threadersteller: Hast du verstanden, wie mein static_assert funktioniert? Das ist ein grundlegendes Konstrukt in der Templatemetaprogrammierung.

]]>https://www.c-plusplus.net/forum/post/2022295https://www.c-plusplus.net/forum/post/2022295Thu, 17 Feb 2011 14:37:41 GMT<![CDATA[Reply to Vom Laufzeitfehler zum Compilezeitfehler on Thu, 17 Feb 2011 16:16:59 GMT]]>Elegante Lösung, sehr schön!
Danke und Gruss,
T.

]]>https://www.c-plusplus.net/forum/post/2022369https://www.c-plusplus.net/forum/post/2022369Thu, 17 Feb 2011 16:16:59 GMT