在我的 C++ JSON 库中，我最近有一个 regression with GCC7 .我剥离了受影响的代码并希望了解错误。

代码

考虑一下这个标题 myclass.hpp :

#pragma once

template <typename X>
struct A
{
    struct value_t
    {
        X array;
    };

    static A array()
    {
        return A();
    }

    friend bool operator<(const A& lhs, const A& rhs) noexcept
    {
        return lhs.val.array < rhs.val.array;
    }

    value_t val = {};  
};

如您所见，我在结构 value_t 中使用名称“数组”作为成员变量名称, 作为静态函数的名称。然后我将标题包含在以下文件中:

#include <array>
using std::array; // note this!
#include "myclass.hpp"

int main()
{}

问题

代码使用 GCC6 和 Clang5 编译(使用 -std=c++11 )，但 GCC7 报告:

In file included from example.cpp:3:0:
myclass.hpp: In function 'bool operator<(const A<X>&, const A<X>&)':
myclass.hpp:19:40: error: wrong number of template arguments (1, should be 2)
         return lhs.val.array < rhs.val.array;
                                        ^~~~~
In file included from example.cpp:1:0:
/usr/local/Cellar/gcc/7.1.0/include/c++/7.1.0/array:94:12: note: provided for 'template<class _Tp, long unsigned int _Nm> struct std::array'
     struct array
            ^~~~~
make: *** [all] Error 1

似乎解析器读取了 lhs.val.array 中的“数组”作为 std::array并处理以下 <作为模板列表的开始。

如果我进行以下任何更改，则可以编译代码:

• 删除using std::array;或将其移到 #include "myclass.hpp" 后面.
• 更改 return lhs.val.array < rhs.val.array;至return (lhs.val.array) < rhs.val.array; .

此外，如果我删除 static A array()，任一编译器都会失败。函数...

我的问题

• 首先代码是否正确？即使我使用 using std::array;，我是否允许使用“数组”作为名称？ ?
• 如果代码正确，这是否是 GCC7 中的错误？

最佳答案

我没有发现任何表明您发现的行为是正常的，但我发现以下情况可能是其他情况。

When the name of a member template specialization appears after . or -> in a postfix-expression or after a nested-name-specifier in a qualified-id, and the object expression of the postfix-expression is type-dependent or the nested-name-specifier in the qualified-id refers to a dependent type, but the name is not a member of the current instantiation (14.6.2.1), the member template name must be prefixed by the keyword template. Otherwise the name is assumed to name a non-template.

[ Example:
struct X {
template<std::size_t> X* alloc();
template<std::size_t> static X* adjust();
};
template<class T> void f(T* p) {
T* p1 = p->alloc<200>(); // ill-formed: < means less than
T* p2 = p->template alloc<200>(); // OK: < starts template argument list
T::adjust<100>(); // ill-formed: < means less than
T::template adjust<100>(); // OK: < starts template argument list
}
— end example ]

您可以通过将比较元素放在括号中来解决已经建议的 id 问题。它会破坏名称 array<

    return (lhs.val.array) < (rhs.val.array);

让我们进一步简化您的代码，并删除所有可能掩盖正在发生的事情的包含。我将从仍然无法编译的原始代码开始。

#include <cstddef> // needed for size_t
//using std::array; brings following two lines into your code:
template< class T, std::size_t N >
struct array;

template <typename X>
struct A
{
    struct value_t { int array; };
    value_t val = {};  
    friend bool operator<(const A& lhs, const A& rhs) {
        return (lhs.val.array < rhs.val.array);
    }
};

现在让我们移动struct value_t { int array; };在模板定义之外:

#include <cstddef> // needed for size_t
//using std::array; brings following two lines into your code:
template< class T, std::size_t N >
struct array;

struct value_t { int array; };

template <typename X>
struct A
{
    value_t val = {};  
    friend bool operator<(const A& lhs, const A& rhs) {
        return (lhs.val.array < rhs.val.array);
    }
};

所以通过包含 <array>在您的代码中，您将模板数组带入您的代码中，如此处所示。在模板外带有 value_t 的版本中有 array<T>和成员(member) array .这些是不同的东西，因此没有任何冲突。
当您将 value_t 放入模板时，编译器开始尝试扩展来自该模板的内容。它尝试使用标准中规定的不应发生的成员数组来做到这一点。

无论如何，它看起来像 GCC 中的错误，因为当它出现在表达式 lhs.val.array 中时仅当以关键字模板 lhs.val.template array< 为前缀时，才应将其视为模板。

是的，在不同的上下文中使用相同的名称是完全正确的，除非它是保留字之一，而数组不是。但要小心这种名称的使用。我发现将名称数组用于保存单个整数的变量至少令人困惑。这个名字已经暗示会有不止一个。

关于c++ - 使用 std::array 并使用 "array"作为名称，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/44367859/