Ошибки параметров шаблона шаблона в MSVC, но не в Clang. Зачем?

Я написал этот код, чтобы помочь мне разобраться индексы которые ссылаются на коллекцию, согласно некоторому предикату:

#include <algorithm>
#include <functional>
#include <vector>

template<template<class> class Pred = std::less>
struct element_is_pred
{
template<class C>
struct type : private Pred<typename C::value_type>
{
typedef Pred<typename C::value_type> Base;
C const *c;
type(C const &c, Base const &pred = Base())
: Base(pred), c(&c) { }
bool operator()(
typename C::size_type const i,
typename C::size_type const j) const
{ return this->Base::operator()((*c)[i], (*c)[j]); }
};
};

template<template<class> class P, class C>
static element_is_pred<P>::template type<C const> element_is(
C const &c,
P<typename C::value_type> const &pred = P<typename C::value_type>())
{
return typename element_is_pred<P>::template type<C const>(c, pred);
}

и я использую это так:

int main()
{
std::vector<size_t> temp;
std::vector<size_t> indices;
indices.push_back(0);
std::stable_sort(
indices.begin(),
indices.end(),
element_is<std::less>(temp));
}

и когда я скомпилирую его с Clang 3.2:

clang++ -fsyntax-only Test.cpp

он компилируется нормально.

Но когда я пытаюсь скомпилировать его с помощью Visual C ++ 2013, я получаю массу ошибок, например:

test.cpp(23) : warning C4346: 'element_is_pred<Pred>::type<const C>' : dependent name is not a type
prefix with 'typename' to indicate a type
test.cpp(23) : error C2146: syntax error : missing ';' before identifier 'element_is'
test.cpp(23) : error C4430: missing type specifier - int assumed. Note: C++ does not support default-int

Какой компилятор правильный?
Как правильно написать код для этого?

0

Решение

GCC выдает следующую ошибку:

error: need 'typename' before 'element_is_pred<Pred>::type<const C>' because 'element_is_pred<Pred>' is a dependent scope

Следуя этому совету, я могу получить программу, основанную на GCC, предварительно typename:

static typename element_is_pred<P>::template type<C const> element_is(
^^^^^^^^

Clang также позволяет модифицированную версию.

1

Другие решения

Других решений пока нет …

По вопросам рекламы [email protected]