Может ли наследование шаблонов из другой специализации быть циклической зависимостью или это ошибка clang

считайте код ниже:

#include <iostream>
#include <utility>
#include <tuple>

template <class TargetIndices, class SourceIndices>
struct assign;

template <size_t... TargetIs, size_t... SourceIs>
struct assign<std::index_sequence<TargetIs...>, std::index_sequence<SourceIs...>>: assign<std::index_sequence<TargetIs>, std::index_sequence<SourceIs>>... {
   template <class TargetTuple, class SourceTuple>
   assign(TargetTuple &target, const SourceTuple &source): assign<std::index_sequence<TargetIs>, std::index_sequence<SourceIs>>(target, source)... { }
};

template <size_t FirstTI, size_t FirstSI>
struct assign<std::index_sequence<FirstTI>, std::index_sequence<FirstSI>> {
   template <class TargetTuple, class SourceTuple>
   assign(TargetTuple &target, const SourceTuple &source) {
      std::get<FirstTI>(target) = std::get<FirstSI>(source);
   }
};


int main() {
   std::tuple<int, int, int> t1 = std::make_tuple(0,0,0), t2 = std::make_tuple(1,2,3);
   assign<std::index_sequence<0,2>, std::index_sequence<2,0>>(t1, t2);
   std::cout << std::get<0>(t1) << " " << std::get<1>(t1) << " " << std::get<2>(t1) << std::endl;
}

clang++ утверждает, что существует циклическая зависимость при наследовании. г++ компилирует его без каких-либо проблем. Какой компилятор прав?

1 ответов


это выглядит как ошибка лязг.

минимальное воспроизведение выглядит следующим образом:

template <int...> struct q {};

template <int... Is> using w = q<Is...>;

template <class T>
struct a;

template <int F>
struct a<w<F>> {};

template <int... T>
struct a<w<T...>>: a<w<T>>... {}; // g++ OK, clang++ breaks

здесь важен псевдоним шаблона. Когда исходный шаблон используется в последней строке вместо псевдонима шаблона, он компилируется:

struct a<q<T...>>: a<q<T>>... {}; // g++, clang++ OK