Я пишу некоторый TMP-тяжелый код для g++ (версия 4.8.1_1, Macports) и clang++ (версия 3.3, Macports). В то время как g++ отклоняет следующий список кодов с UNBRIDLED FURY, clang++ компилирует его с изяществом и блеском.
- Какой корреспондент прав? (Я сильно подозреваю, что это g++, но я хочу получить некоторое подтверждение от других, прежде чем отправлять отчет об ошибке.)
- Есть ли у вас какие-либо легкие или изящные обходные решения? (Мне нужно использовать псевдонимы шаблонов, поэтому переход к структурам, который вызывает g++ для принятия кода, не является вариантом.)
Вот список кодов, сделанный именно для вас.
template <class... Ts>
struct sequence;
template <int T>
struct integer;
// This definition of `extents` causes g++ to issue a compile-time error.
template <int... Ts>
using extents = sequence<integer<Ts>...>;
// However, this definition works without any problems.
// template <int... Ts>
// struct extents;
template <int A, int B, class Current>
struct foo;
template <int A, int B, int... Ts>
struct foo<A, B, extents<Ts...>>
{
using type = int;
};
template <int B, int... Ts>
struct foo<B, B, extents<Ts...>>
{
using type = int;
};
int main()
{
using t = foo<1, 1, extents<>>::type;
return 0;
}
Вот вывод g++:
er.cpp: In function 'int main()':
er.cpp:39:41: error: ambiguous class template instantiation for 'struct foo<1, 1, sequence<> >'
using t = typename foo<1, 1, extents<>>::type;
^
er.cpp:26:8: error: candidates are: struct foo<A, B, sequence<integer<Ts>...> >
struct foo<A, B, extents<Ts...>>
^
er.cpp:32:8: error: struct foo<B, B, sequence<integer<Ts>...> >
struct foo<B, B, extents<Ts...>>
^
er.cpp:39:43: error: 'type' in 'struct foo<1, 1, sequence<> >' does not name a type
using t = typename foo<1, 1, extents<>>::type;
^
Вот вывод clang++:
Спасибо за вашу помощь!