Aşırı yükleme yapılar - clang

Question

Ben derler ve clang ++ 4 (ve gövde) düzgün çalışır ancak g ++ 7 (ve gövde) içinde derlenmeyecektir bir kod parçası keşfettiler

vs gcc. en aşağıdaki struct türleri vardır varsayalım:

struct a { void foo() { } }; 
struct b { void bar() { } }; 
struct c { void bar() { } }; 

b ve c bir auto parametresini kullanarak genel bir lambda'da "yakalanmış" iken ben, bir aşırı yük açıkça a kolları lambdas dışına set oluşturmak istiyorum:

auto ol = overload([](a x) { x.foo(); }, 
        [](auto x){ x.bar(); }) 

ben çağırmak ol(a{}):

• clang ++, derleme ve beklendiği gibi davranır: a, "birinci" lambda eşleşirken, b ve c, ikinci olanı eşleştirir.

• gr ++ aşağıdaki hata ile, derlenmeyecektir:

  error: 'struct a' has no member named 'bar' 
        [](auto x){ x.bar(); }; 
           ~~^~~ 
  

  derleyici İlki yolu iyi bir eşleşme olsa da ikinci lambda örneğini çalışır gibi görünüyor. Umarım bu bir hatadır, çünkü bana görünmez gibi geliyor. Ben lambda'lar s0 kabaca eşdeğer olması beklenebilir

  struct s0 
  { 
      auto operator()(a x) const { x.foo(); } 
  }; 
  
  struct s1 
  { 
      template <typename T> 
      auto operator()(T x) const { x.bar(); } 
  }; 
  
  auto os = overload(s0{}, s1{}); 
  os(a{}); // OK! 
  

  ve: yerine lambda Bazı eski moda struct örneklerini kullanmak ifadelerde ise

---

Not hem derleyiciler düzgün çalışması s1, bu daha da şaşırtıcı.

---

Bu

ben aşırı yük setini üreten ediyorum yoludur:

template <typename... Fs> 
struct overloader : Fs... 
{ 
    template <typename... FFwds> 
    overloader(FFwds&&... fs) : Fs{std::forward<FFwds>(fs)}... 
    { 
    } 

    using Fs::operator()...; 
}; 

template <typename... Fs> 
auto overload(Fs&&... fs) 
{ 
    return overloader<std::decay_t<Fs>...>{std::forward<Fs>(fs)...}; 
} 

Ve burada derleyici arasında farklı davranış gösteren bir live example on gcc.godbolt.org bu.

---

Bu bir g ++ hatası mı? Veya standart olarak lambdaların bu durumda struct örneğinden farklı davranmasını sağlayan bir şey var mı?

Answer 1

Bu [temp.inst]/9 uyulmadığını çalışan, (80767 olarak gönderilen) bir gcc hata olduğunu düşünüyorum:

An implementation shall not implicitly instantiate a function template, a variable template, a member template, a non-virtual member function, a member class, a static data member of a class template, or a substatement of a constexpr if statement, unless such instantiation is required.

jenerik lamda en operator()auto = a ile gerekli değildir örneğinin, dolayısıyla bunun örneği edilmemelidir.