根据一些谓词,我已经编写了这段代码来帮助我对引用集合的索引进行排序:
#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
哪个编译器正确?
编写代码的正确方法是什么?
最佳答案
GCC出现以下错误:
error: need 'typename' before 'element_is_pred<Pred>::type<const C>' because 'element_is_pred<Pred>' is a dependent scope
遵循该建议,我可以通过在
typename
之前添加程序来在GCC上进行构建:static typename element_is_pred<P>::template type<C const> element_is(
^^^^^^^^
Clang也允许修改后的版本。
关于c++ - MSVC中的模板模板参数错误,但不包括Clang。为什么?,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/18644049/