Wie zu tun static_assert mit Makros?

Habe ich versucht, dieser Vorschlag zu tun, eine statische behaupten, aber ich komme nicht auf einen Kompilierungsfehler, wenn ich es innerhalb einer Methode einer Vorlage.

Das Beispiel folgt :

#include <iostream>

#define STATIC_ASSERT(expr, msg)               \
{                                              \
    char STATIC_ASSERTION__##msg[(expr)?1:-1]; \
    (void)STATIC_ASSERTION__##msg[0];          \
}

template <typename T >
class A
{
public:
  int foo(const int k )
  {
    //does not work
    STATIC_ASSERT( k > 9, error_msg );
    return k+5;
  }
};

int bar(const int k )
{
  //works fine
  //STATIC_ASSERT( k > 9, error_msg );
  return k+5;
}

int main()
{
  A<int> a;
  const int v = 2;

  std::cout<<a.foo(v)<<std::endl;
  std::cout<<bar(v)<<std::endl;

  //works fine
  //STATIC_ASSERT( v > 9, error_msg );
}

Ich kompiliert es mit g++ 4.7.2, mit einer Warnung, dass VLAs nicht unterstützt c++ ISO :

g++ -Wall -g  -std=c++98 -Wextra -pedantic gvh.cpp

So, warum die Zusammenstellung nicht scheitern, wenn die STATIC_ASSERT wird innerhalb der template-Methode? Gibt es einen Weg, um es scheitern?

HINWEIS : ich brauche ein c++98 (vielleicht sogar noch c++03) - Lösung, wenn möglich, nur mit Makros.

  • Boost ist ein pre-C++11 static assert.
  • Ja, ich bin mir bewusst, BOOST_STATIC_ASSERT, aber es nutzt SFINAE zu überprüfen.
  • In den Antworten und vor da gibt es eine gute Beratung, auf die statische assert Mechanismen sind rund, aber im wesentlichen in Ihrer spezifischen Verwendung, die Sie versuchen zu behaupten, auf ein function-parameter - einfach, weil es const int bedeutet nicht, dass es compile-Zeit - Konstante, die nur bedeutet, dass die Funktion eine Kopie der runtime-argument und wird nicht zulassen, dass der genannte code, um es zu ändern. Sie müssen akzeptieren k als template-parameter (entweder für A oder durch A::foo eine template <int K> oder vielleicht Geige mit C++11 constexpr, um die compile-Zeit überprüfen Sie erwartet haben.
InformationsquelleAutor BЈовић | 2013-01-31
  1. 14

    Vor C++11, die ich normalerweise tun würde:

    typedef int static_assert_something[something ? 1 : -1];

    Können Sie auch einen Blick auf boost static assert. Aber es ist viel zu aufgebläht für meinen Geschmack. Es ist leicht zu machen die Dinge größer werden, wird es schwer, Sie zu machen, besser.

    • So einfach. Dank
    • Nur für die Klarheit(ich hasste immer die typedef-syntax): dies funktioniert, indem Sie versuchen, um ein typedef auf ein array der Größe 1 oder -1, je nachdem die Wahrheit Wert?
    • Richtig.
    InformationsquelleAutor Maxim Egorushkin
  2. 3

    Betrachten Sie so etwas wie Boost.StaticAssert, obwohl, wenn, dass Sie nicht verfügbar ist, können Sie versuchen, die Definition einer Vorlage.

    template<bool>
struct static_assertion;

template<>
struct static_assertion<true> {};

    Obwohl, das hat den Nachteil, dass Sie nicht mit einer Meldung zugeordnet sein.

    Nach ein bisschen Suche durch StackOverflow, ich stolperte über diese Frage, die hatte eine ähnliche Antwort auf meine, und eine Reihe von alternativen für die tut es ohne boost.

    • Sie können nicht schlagen, die one-liner obwohl.
    • Ich habe nicht versucht, one-up Ihre Antwort. Es ist nur so, wie ich es getan hätte.
    • Danke. Diese Frage hat eine Antwort ähnlich wie der Maxim, mit Makros
    InformationsquelleAutor Rapptz
  3. 3

    Dies ist im Grunde Maxim ' s Antwort mit ein wenig mehr bequeme Schnittstelle. Ich habe es genommen aus hier. Nette Sache über es ist, dass die Verwendung von templates verhindert, dass der Benutzer die übergabe eines nicht-compile-Zeit-Konstanten Wert, wie der Zustand ist.

    template<bool Is_Condition_Met>
struct Static_assert_cpp98
{
  static void apply() {static const char junk[ Is_Condition_Met ? 1 : -1 ];}
};

template<>
struct Static_assert_cpp98<true>
{
  static void apply() {}
};

#define STATIC_ASSERT_CPP98(condition) Static_assert_cpp98<condition>::apply()
    InformationsquelleAutor Hashimoto
  4. 1

    Wenn Sie Anruf hinzufügen, um die Methode in Frage (einer.foo();), die statische assert schlägt fehl (nur dann ist die Methode kompiliert werden). Sie wissen, dass Sie sollten nicht statisch geltend machen, zur Laufzeit Werte wie "k" nehme ich an.

    • Ja, aber ich nahm (fälschlicherweise), dass der compiler den Wert von k (wie Sie es sieht, wenn bar genannt wird)
    InformationsquelleAutor
  5. 0
    int foo(const int k)
{
  STATIC_ASSERT( k > 9, error_msg );
  return k+5;
}

    Statische assertions arbeiten nur mit compile-Zeit-Konstante Ausdrücke.

    k ist nicht eine compile-time constant expression.

    Nicht-Typ template-Parameter compile-time-Konstanten-Ausdrücke während der template-Instanziierung, so können Sie passen Sie Ihren code so:

    template <int K>
int foo()
{
  STATIC_ASSERT( K > 9, error_msg );
  return K+5;
}
    InformationsquelleAutor Oktalist
Schreibe einen Kommentar