g ++ 6.1 wurde vor kurzem in Arch Linux Testing Repositories eingeführt, und ein Teil meines Codes, der erfolgreich mit g ++ 5.3.0 kompiliert wurde, kompiliert nicht mehr.Mögliche std :: forward Regression mit g ++ 6.1 - Bug oder beabsichtigtes Verhalten?
// This code compiles with g++ 5.3.0
// This does not compile with g++ 6.1
#include <type_traits>
#include <utility>
#include <tuple>
#define FWD(...) ::std::forward<decltype(__VA_ARGS__)>(__VA_ARGS__)
struct sinker
{
template <typename T>
void sink(T&)
{
}
};
template <typename T, typename TF>
void caller(T& v, TF&& f)
{
sinker s;
f(s, v);
}
template <typename T>
void interface(T& v)
{
return caller(v, [](auto& xs, auto&& xv) -> decltype(auto)
{
xs.sink(FWD(xv));
});
}
int main()
{
int x = 0;
interface(x);
}
Dies ist der Fehler gemeldet:
: In instantiation of ‘get_impl(T&)::<lambda(auto:1&, auto:2&&)> [with auto:1 = sinker; auto:2 = int; T = int]’:
:25:58: required by substitution of ‘template<class auto:1, class auto:2> get_impl(T&)
[with T = int]::<lambda(auto:1&, auto:2&&)>::operator
decltype (((get_impl(T&) [with T = int]::<lambda(auto:1&, auto:2&&)>)0u).operator()(static_cast<auto:1&>(<anonymous>),
static_cast<auto:2&&>(<anonymous>))) (*)(auto:1&, auto:2&&)() const [with auto:1 = sinker; auto:2 = int]’
:19:6: required from ‘void chunk_fn_impl(T&, TF&&) [with T = int; TF = get_impl(T&) [with T = int]::<lambda(auto:1&, auto:2&&)>]’
:25:25: required from ‘void get_impl(T&) [with T = int]’
:36:15: required from here
:27:13: error: invalid initialization of non-const reference of type ‘int&’ from an rvalue of type ‘int’
xs.sink(FWD(md));
^~
:10:10: note: initializing argument 1 of ‘void sinker::sink(T&) [with T = int]’
void sink(T&)
^~~~
ändern:
return caller(v, [](auto& xs, auto&& xv) -> decltype(auto)
zu:
Ich habe ein minimales Beispiel gemachtreturn caller(v, [](auto& xs, auto& xv) -> decltype(auto)
ermöglicht die erfolgreiche Kompilierung des Codes.
Ich verstehe nicht, warum dieser Fehler passiert, als xv
perfekt weitergeleitet wird und der FWD(xv)
Aufruf sollte eine L-Wert-Referenz erzeugen. Beachten Sie, dass der Code in g ++ 5.3.0 und clang ++ 3.7 wie vorgesehen funktioniert hat.
(Versuchen mit mehreren g ++ Versionen kompilieren und auto&&
zu auto&
zu verändern.)
Ist das ein g ++ 6.1 Bug? Oder wurde der Code fälschlicherweise mit früheren Versionen von g ++ und clang ++ kompiliert?
Nichts mit 'vorwärts' zu tun. Das sieht wie ein Frontend Bug aus. –
Das 'auto &&' bedeutet, dass das Lambda eine Vorlage ist, die eine Ableitung vom Argumenttyp benötigt. Aber auch "Anrufer". Ich verstehe nicht, wie das jemals kompilieren könnte, es sollte in endlos rekursiven Argumenttyp-Ableitungen stecken. Zumindest nach meinem primitiven Verständnis von Lambdas mit 'auto &&'. Jemand bitte erklären, warum das funktionieren sollte. – sp2danny
@ T.C. berichtet als [bug 70942] (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70942) –