8

对于以下代码，我对 Visual C++ 2010 有一个奇怪的编译警告：

#include <iostream>

class test
{
    public:
        template<class obj>
        class inner
        {
        private:
            // Line 11:
            template<int index, bool unused = true> struct AttributeName;

        private:
            template<bool b>
            struct AttributeName<0,b>
            {
                static inline const char* get()
                {
                    return "prop";
                }
            };

        public:
            typedef AttributeName<0> propname;
        };
        typedef inner<test> description;
};

int main()
{
    test t;
    std::cout << test::description::propname::get(); // Line 32
    return 0;
}

警告：

file.cpp(11) : warning C4348: 'test::inner<obj>::AttributeName' : redefinition of default parameter : parameter 2 (with [ obj=test ])
file.cpp(11) : see declaration of 'test::inner<obj>::AttributeName' (with [ obj=test ])
file.cpp(32) : see reference to class template instantiation 'test::inner<obj>' being compiled (with [ obj=test ])

我不明白的是AttributeName“重新定义”与定义在同一行......听起来像一个错误

我注意到制作inner非模板类会删除警告。但是，这不是一个选项，因为实际代码比这个测试用例更复杂，需要模板化。

此外，如果警告被视为错误，则此代码将无法编译...

它在 GCC 上编译时没有警告。

为什么 msvc 会输出这样的警告并且有解决方法吗？

编辑

以下修改：

template<int index, bool unused = true> struct AttributeName {};

似乎消除了警告。

4

1 回答 1

8

这主要是一个猜测，因为这似乎解决了（？）它：

template<int index, bool unused = true> struct AttributeName;
template<int index, bool unused> struct AttributeName
{
};

我的猜测是，前向声明既被视为声明又被视为“定义”，因为它看不到其他任何内容，因此它抱怨默认值被“重新定义”，即使它是同一行。可能是无意的，尽管 2012 年表现相同。

于 2012-09-29T21:09:51.913 回答