此模板函数是否正确匹配具有多个碱基的类

这段代码编译并使用 clang 运行良好，但 gcc 给出了编译错误：

没有匹配函数来调用"解包（标签1，A3&）"

那么它有效的 c++ 吗？

#include <type_traits>                                                           
#include <utility>                                                               
#include <cassert>                                                                                                                                      
template <class Tag, class Value>                                                
class Pack                                                                       
{                                                                                
 public:                                                                         
  Pack(const Value& value) : _value(value) {}                                    
  Value value() const { return _value; }                                         
private:                                                                         
  Value _value;                                                                  
};                                                                                                                                                  
template<class Tag, class Value>                                                 
decltype(auto) unpack(Tag, Pack<Tag, Value>& pack) {                             
  return pack.value();                                                           
}                                                                                
struct tag1 {};                                                                  
struct tag2 {};                                                                  
struct A3 : Pack<tag1, int>, Pack<tag2, double> {                                
  A3(int x, double y) : Pack<tag1, int>(x), Pack<tag2, double>(y) {}             
};                                                                               
int main() {                                                                     
  A3 a3(1, 2);                                                                   
  assert(unpack(tag1(), a3) == 1);                                               
  assert(unpack(tag2(), a3) == 2);                                               
}