'U' bezieht sich nicht auf einen Wert

Ich bin mit coliru.

Befehlszeile:

g++ -std=c++11 -O2 main.cpp && ./a.out
clang++ -std=c++11 -O2 main.cpp && ./a.out

Der folgende code kompiliert fein in g++ aber nicht in clang++.

    template <typename T, typename... U>
    A& operator ()(T a, U... b)
    {
        struct Inner { 
            operator decltype(T(U...)) const {
                return a(b...);
            }
        } inner;

        return *this;
    }

main.cpp:17:37: Fehler: "U" bezieht sich nicht auf einen Wert

            operator decltype(T(U...)) const {

                                ^

main.cpp:13:43: Anmerkung: erklärt hier

    template <typename T, typename... U>

                                      ^

1 Fehler generiert.

Den Fehler bekomme ich jetzt:

main.cpp:18:41: error: reference to local variable 'a' declared in enclosing function 'operator()'

Meine Klasse sieht wie folgt aus:

template <typename R>
class A {
        R value = R();
    public:
        A() { }
        ~A() { }
        template <typename T, typename... U>
        A& operator ()(T a, U... b)
        {
            struct Inner { 
                operator decltype(std::declval<T>()(std::declval<U>()...))() const {
                    //some code here to return a(b...)
                }
            } inner;
            value += inner;
            return *this;
        }

        R val() {
            return value;
        }
};
  • Sie sollten nicht einfach komplett ändern Sie Ihre Frage - das macht es fast nutzlos für Menschen, die mit dem ursprünglichen problem. Wenn Sie zwei Fragen haben, bitten Sie Sie als solche.
  • Sorry, ich war nicht sicher, wie das problem zu beschreiben.
InformationsquelleAutor | 2013-11-05
  1. 6

    Ist der compiler Recht, es bezieht sich auf Arten, nicht um Werte. Sie müssen schreiben:

    operator decltype(std::declval<T>()(std::declval<U>()...))() const {
//you need       ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^ and ^^
    return a(b...);
}

    (die letzten () sind, benötigt es eine gültige Konvertierung operator der form operator T() const)

    Sagte, dass Sie nicht verwenden können a und b... innerhalb von Inner, also das ganze Beispiel macht keinen Sinn. Was auch immer Ihr Anwendungsfall ist, die oben nicht wirklich funktioniert, kann ich Ihnen zeigen, wie fix die Signatur so, dass das Geräusch akzeptiert den code, aber Sie werden noch nicht in der Lage, es zu benutzen.

    Und nach dem update, es ist eine ganz andere Frage jetzt. Vielleicht ist dies für Sie arbeitet:

    template <typename R>
class A {
    R value = R();
public:
    A() { }
    ~A() { }
    template <typename T, typename... U>
    A& operator ()(T a, U... b)
    {
        struct Inner { 
            using R2 = decltype(std::declval<T>()(std::declval<U>()...));
            R2 impl(T a, U... b) const {
                return a(b...);
            }
        } inner;
        value += inner.impl(a,b...);
        return *this;
    }

    R val() {
        return value;
    }
};

    Unter Bezugnahme auf Walter ' s Kommentar: Man könnte, jetzt, dass Sie die übergabe der Parameter, auch trailing-return-Typen:

    struct Inner { 
    auto impl(T a, U... b) const -> decltype(a(b...)) {
        return a(b...);
    }
} inner;

    oder mit C++14, die Sie nutzen könnten

    struct Inner { 
    auto impl(T a, U... b) const {
        return a(b...);
    }
} inner;
    • Ja, Sie sind richtig, ich lief in dieses problem. Lassen Sie mich nach mehr Kontext in die Frage.
    • Aktualisiert die Antwort.
    • warum nicht decltype(a(b...)) (siehe meine Antwort)?
    • Ich aktualisierte die Antwort zu zeigen, wie es verwendet werden könnte, aber deine Antwort ist schlicht falsch, wie die syntax ist illegal, und Sie können nicht auf a und b... innerhalb Inner ohne Parameter, um die Betreiber.
    InformationsquelleAutor Daniel Frey
Schreibe einen Kommentar