pure/const-Funktion von Attributen in verschiedenen Compilern

Reine ist eine Funktion, Attribut, welches sagt, dass eine Funktion nicht ändern globalen Speicher.

const ist eine Funktion, Attribut, welches sagt, dass eine Funktion keine Lesen/ändern keine globalen Speicher.

Gegeben, dass die Informationen, die der compiler kann einige zusätzliche Optimierungen.

Beispiel für GCC:

float sigmoid(float x) __attribute__ ((const));

float calculate(float x, unsigned int C) {
    float sum = 0;
    for(unsigned int i = 0; i < C; ++i)
        sum += sigmoid(x);
    return sum;
}

float sigmoid(float x) { return 1.0f / (1.0f - exp(-x)); }

In diesem Beispiel der compiler könnte die Optimierung der Funktion berechnen zu:

float calculate(float x, unsigned int C) {
    float sum = 0;
    float temp = C ? sigmoid(x) : 0.0f;
    for(unsigned int i = 0; i < C; ++i)
        sum += temp;
    return sum;
}

Oder wenn Ihr compiler clever genug ist (und nicht so streng über Fließkommazahlen (floats):

float calculate(float x, unsigned int C) { return C ? sigmoid(x) * C : 0.0f; }

Wie kann ich markieren Sie eine Funktion in einer solchen Art und Weise für die verschiedenen Compiler, d.h. GCC, Clang, ICC, MSVC oder andere?

  • Für diejenigen von uns, die nicht mit gcc auf einer regelmäßigen basis, vielleicht kannst du eine Erklärung, was die Reine/const-Attribut ist. Wenn es sich um eine Optimierung von einer Art, ein Beispiel für C-oder C++ - code, für die es hilft dem compiler generieren mehr optimale Montage wäre auch hilfreich.
  • Ich bin kein compiler-Schriftsteller, aber es scheint mir, dass solch ein Attribut wäre unnötig, wenn die sigmoid() Funktion definition zur Verfügung Stand, ist der compiler vor der Analyse calculate() in der gleichen übersetzungseinheit. Egal, diese Attribute könnte sicherlich nützlich sein, wenn Sie die Funktion Definitionen sind in verschiedene übersetzungseinheiten.
  • Ja, GCC (und andere Compiler) automatisch hinzufügen dieses Attribut intern genau in diesem Fall. Und dann, auf der Grundlage der attribute, die Sie tun können, weitere Optimierungen (wie in meinem Beispiel). Und Sie genau trifft einer der wichtigsten Gründe für die Angabe, es gilt: Wenn der compiler nicht sieht, dass die definition an dieser Stelle oder, wenn die definition ist überhaupt nicht verfügbar, oder wenn Sie denken, dass es sicher ist, wenn der compiler reduziert die Menge der Aufrufe der Funktion.
InformationsquelleAutor Albert | 2010-05-09
  1. 28

    Im Allgemeinen, es scheint, dass fast alle Compiler unterstützen den GCC Parametern. MSVC ist bisher der einzige compiler, die Sie nicht unterstützt (und auch keine alternative).

    • MSVC auch nicht die Absicht hat, hinzufügen von Unterstützung für diejenigen, attributes: connect.microsoft.com/VisualStudio/feedback/details/804288/.... Sie sagen, Sie brauchen es nicht, die Sinn macht für Anwendungen, aber nicht für Bibliotheken.
    • Denke, dass der GNU-C als Sprache Dialekt oder eine Reihe von Spracherweiterungen. Sie können den test für die Verfügbarkeit eines bestimmten GNU C-Funktion in jedem compiler mit #if __GNUC__ > 4 || ... oder ähnliches, empfohlen in der Bedienungsanleitung. Clang (und andere Compiler) nur Werbung für eine __GNUC__ und __GNUC_MINOR__ version, die Sie voll unterstützen. Die Umsetzung könnte von gcc (z.B. clang ist __builtin_constant_p() nicht propagieren const-ness in Funktion args von inline-Funktionen), aber dein code kompiliert wird.
    • In anderen Worten, die klappern und ICC unterstützen könnte ein neues feature von gcc 6.0, sondern nur definieren __GNUC__ 6 und __GNUC_MINOR__ 0 in Versionen mit Unterstützung der alle - die Sprache Erweiterungen, die gcc6.0 macht.
    InformationsquelleAutor Albert
  2. 5

    Erstens, es ist nützlich, zu beachten, dass "const" ist eine schärfere version
    "rein", also "rein" kann als fallback verwendet werden, wenn ein compiler nicht
    Umsetzung der "const".

    Wie andere erwähnt haben, MSVC nicht wirklich was ähnliches,
    aber eine Menge von Compilern angenommen haben, die GCC-syntax, darunter viele
    die definieren nicht __GNUC__ (und einige, die sich ab und
    manchmal nicht, je nach flags).

    • GCC unterstützt
      rein
      da 2.96+, und
      const
      seit 2.5.0, in Fall, dass Sie fühlen, wie das überprüfen der version.
    • Clang unterstützt; Sie können __has_attribute(pure) und
      __has_attribute(const) um Sie zu erkennen, aber es ist wohl fein zu
      Verlass dich einfach auf clang Einstellung __GNUC__. Dies beinhaltet auch Compiler
      basierend auf clang wie emscripten und XL C/C++ 13+.
    • Intel C/C++ - Compiler unterstützt, aber Ihre Dokumentation ist
      schrecklich, so habe ich keine Ahnung, Wann Sie Hinzugefügt wurden. 16.0+ ist sicher
      sicher.
    • Oracle Developer Studio 12.2+ unterstützt.
    • ARM C/C++ - Compiler 4.1+ (und ggf. älteren) unterstützt
      rein
      und
      const
    • IBM XL C/C++ seit mindestens 10.1.
    • TI 8.0+
    • TI 7.3+
      mit gcc --(erkannt mit __TI_GNU_ATTRIBUTE_SUPPORT__) unterstützt.
    • PGI nicht dokumentieren (AFAICT), aber beide Attribute (oder sind
      mindestens stillschweigend ignoriert). 17.10+ ist sicher, aber Sie haben wahrscheinlich
      akzeptabel für viel mehr.

    Dieser, die klappern immer definiert __GNUC__ und Freunde (derzeit
    4.2, IIRC). Intel definiert __GNUC__ standardmäßig (obwohl es sein kann,
    unterdrückt -Nein-gcc) und g.g.A., in der C++ - Modus (aber nicht in C
    Modus). Die andere, die Sie haben zu prüfen manuell.

    Oracle Developer Studio hat auch unterstützte pragmas, da es bekannt war,
    als Forte Developer
    6    . Sie sind
    ein bisschen anders, da Sie erfordern Sie, um die Funktion anzugeben
    name:

    /* pure: */
#pragma does_not_write_global_data (funcname)
/* const; SPARC-only until 12.2 */
#pragma no_side_effect (funcname)

    TI 6.0+ (mindestens) unterstützt eine #pragma FUNC_IS_PURE; pragma in C++
    Modus nur. Im C-Modus, es ist #pragma FUNC_IS_PURE(funcname);.

    Meisten dieser kann ausgeblendet werden, hinter die ein makro, was ich auch gemacht habe
    Hedley:

    #if \
  HEDLEY_GNUC_HAS_ATTRIBUTE(pure,2,96,0) || \
  HEDLEY_INTEL_VERSION_CHECK(16,0,0) || \
  HEDLEY_SUNPRO_VERSION_CHECK(5,11,0) || \
  HEDLEY_ARM_VERSION_CHECK(4,1,0) || \
  HEDLEY_IBM_VERSION_CHECK(10,1,0) || \
  HEDLEY_TI_VERSION_CHECK(8,0,0) || \
  (HEDLEY_TI_VERSION_CHECK(7,3,0) && defined(__TI_GNU_ATTRIBUTE_SUPPORT__)) || \
  HEDLEY_PGI_VERSION_CHECK(17,10,0)
#  define HEDLEY_PURE __attribute__((__pure__))
#elif HEDLEY_TI_VERSION_CHECK(6,0,0) && defined(__cplusplus)
#  define HEDLEY_NO_RETURN _Pragma("FUNC_IS_PURE;")
#else
#  define HEDLEY_PURE
#endif

#if HEDLEY_GNUC_HAS_ATTRIBUTE(const, 2, 5, 0) || \
  HEDLEY_INTEL_VERSION_CHECK(16,0,0) || \
  HEDLEY_SUNPRO_VERSION_CHECK(5,11,0) || \
  HEDLEY_ARM_VERSION_CHECK(4,1,0) || \
  HEDLEY_IBM_VERSION_CHECK(10,1,0) || \
  HEDLEY_TI_VERSION_CHECK(8,0,0) || \
  (HEDLEY_TI_VERSION_CHECK(7,3,0) && defined(__TI_GNU_ATTRIBUTE_SUPPORT__)) || \
  HEDLEY_PGI_VERSION_CHECK(17,10,0)
#  define HEDLEY_CONST __attribute__((__const__))
#else
#  define HEDLEY_CONST HEDLEY_PURE
#endif

    Dies beinhaltet noch nicht die Varianten, die erfordern würde, die Funktion
    Namen als argument, aber es immer noch deckt die große Mehrheit der
    Benutzer, und es ist sicher, überall zu verwenden.

    Wenn Sie nicht möchten, zu verwenden, Hedley (es ist ein single-public domain /CC0-header) es
    sollte nicht allzu schwierig sein, Sie zu ersetzen der internen version der Makros. Wenn
    Sie beschließen, das zu tun, sollten Sie wahrscheinlich die Basis-Anschluss auf der
    Hedley repo-statt dieser Antwort, als ich bin viel eher, es zu halten
    up-to-date.

    InformationsquelleAutor nemequ
Schreibe einen Kommentar