Question

可能重复：
Where and why do I have to put the “template” and “typename” keywords?

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编译代码，因为它无法正确处理模板。

旁注

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

模板元编程GCC错误

1 个答案: