c++ - 模板元编程 GCC 错误

Question

可能重复：
我必须在哪里以及为什么要放置“模板”和“类型名称”关键字？

GCC 4.5.3 中似乎存在一个错误：

#include <type_traits>

template <bool isFundamentalType, bool isSomething>
struct Foo
{
    template <typename T>
    static inline void* Do(size_t size);
};

template <>
struct Foo<true, false>
{
    template <typename T>
    static inline void* Do(size_t size)
    {
        return NULL;
    }
};

template <>
struct Foo<false, false>
{
    template <typename T>
    static inline void* Do(size_t size)
    {
        return NULL;
    }
};

class Bar
{
};

template <typename T>
int Do(size_t size)
{
    // The following fails
    return (int) Foo<std::is_fundamental<T>::value, false>::Do<T>(size);
    // This works -- why?
    return (int) Foo<false, false>::Do<T>(size);
}

int main()
{
    return Do<Bar>(10);
}

编译 g++ bug.cpp -std=c++0x

错误：

bug.cpp: In function ‘int Do(size_t)’:
bug.cpp:37:65: error: expected primary-expression before ‘>’ token

是否有已知的解决方法可以让我绕过这个问题？

编辑：MSVC 2010 设法编译这个就好了。

Answer 1

您需要添加template：

return (int) Foo<std::is_fundamental<T>::value, false>::template Do<T>(size);

MSVC 2010 编译代码是因为它不能正确处理模板。

边注

size_t由于长期存在的错误，MSVC 还注入了全局命名空间。从技术上讲，您需要在其他编译器中包含正确的标头。