MSVC中的模板模板参数错误,但不是Clang。为什么?

时间:2013-09-05 19:05:49

标签: c++ visual-c++ clang typename template-templates

根据一些谓词,我编写了这段代码来帮助我对引用集合的 indices 进行排序:

#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

哪种编译器正确?
编写代码的正确方法是什么?

1 个答案:

答案 0 :(得分:1)

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也允许修改版本。