clang找不到折叠表达式中的模板二元运算符

Question

这是我连接元组的二进制运算符：

template <class... Args1, class... Args2>
constexpr decltype(auto) operator+(const std::tuple<Args1...> &tup1,
                                   const std::tuple<Args2...> &tup2) {
   return std::tuple_cat(tup1, tup2);
}

它在具有两个元组的两个编译器（gcc、clang）上都能完美工作：

template <class Arg1, class Arg2>
constexpr decltype(auto) concat_test(Arg1 &&arg1, Arg2 &&arg2) {
   return arg1 + arg2;
}

但当我尝试在fold表达式中使用它时，如下所示：

template <class... Args>
constexpr decltype(auto) multiple_concat(Args &&... args) {
   return (args + ...);
}

gcc 7.1.1编译它没有任何错误，与clang 5.0不同，它会产生错误输出：

错误：对函数“operator”的调用在模板定义中不可见，也无法通过依赖于参数的查找找到

返回（args...）；

注意：在函数模板专门化的实例化中“multiple\u concat”

多个\u concat（tup1，tup2）；

注意：“操作员”应在呼叫站点之前声明

constexpr decltype（auto）运算符（const std：：tuple

这个代码是否格式错误？clang到底在说什么？

Answer 1

显然，非限定查找失败。这一个使得它可以用叮当声6编译：

namespace std {
    template <class... Args1, class... Args2>
    constexpr decltype(auto) operator+(const ::std::tuple<Args1...> &tup1,
                                       const ::std::tuple<Args2...> &tup2) {
      return ::std::tuple_cat(tup1, tup2);
    }

    template <class... Args1, class... Args2>
    constexpr decltype(auto) operator+(::std::tuple<Args1...> &&tup1,
                                       ::std::tuple<Args2...> &&tup2) {
      return ::std::tuple_cat(tup1, tup2);
    }
}

Answer 2

2018年8月：Xcode 9.0（大致相当于开源clang 4.0）仍然没有编译此代码，而g正确地完成了这项工作。

我知道不能使用闪亮的新模板折叠语法很痛苦，但这里有一个基于if constexpr的解决方法，这是我们可以使用的下一个最好的方法。

template <typename T, typename... Ts>
constexpr decltype(auto) multiple_concat(T&& arg, Ts&&... rest) {
    if constexpr (sizeof ...(rest) == 0) {
        return arg;
    }
    else {  // recursively concatenate the tuple
        return arg + multiple_concat(std::forward<Ts>(rest) ...);
    }
}

Clang愉快地编译了这段代码。

Answer 3

因为其他答案没有出来说：代码很好。这是一个长期存在的Clang错误，影响到11个版本。