这真的是依赖模板名称吗？

Question

我有一些代码无法编译，我将其简化为以下最低版本：

class Builder
{
    public:
        Builder()
        {}

        auto foo(int) -> Builder &
        {
            return *this;
        }

        template<typename T>
        auto bar() -> Builder &
        {
            return *this;
        }
};

template<typename T>
Builder get_builder()
{
    return Builder().foo(T()).bar<T>();
}

int main()
{
    auto builder = get_builder<int>();
    (void) builder;
}

在魔杖盒上看到

Clang（9.0.0）拒绝了这一点：

prog.cc:22:31: error: use 'template' keyword to treat 'bar' as a dependent template name
    return Builder().foo(T()).bar<T>();
                              ^
                              template 

Clang说bar是一个依赖的模板名称是对的吗？VS 2017没有问题。GCC（9.2.0）也拒绝该代码，但错误消息更加模糊：

prog.cc: In function 'Builder get_builder()':
prog.cc:22:36: error: expected primary-expression before '>' token
   22 |     return Builder().foo(T()).bar<T>();
      |                                    ^
prog.cc:22:38: error: expected primary-expression before ')' token
   22 |     return Builder().foo(T()).bar<T>();
      |       

按照叮当的建议改变冒犯的路线

return Builder().foo(T()).template bar<T>();

修复Clang和GCC的编译。VS2017也接受此版本。

解决方案似乎很简单，但如果我重新排序函数调用：

return Builder().bar<T>().foo(T());

或从 foo 中删除参数：

return Builder().foo().bar<T>();

错误消失了。

这到底是怎么回事？

< Li > Clang和GCC right是否拒绝原始版本？ < Li > Clang和GCC right是否接受更改的版本(重新排序、更改的< code>foo)？如果有，为什么？有什么区别？

Answer 1

根据我的经验，MSVC（错误地）允许需要模板关键字的代码（即使定义了/permissive-）。

有问题的代码确实需要模板来消除bar是模板名称的歧义。gcc和clang在诊断这一点时是正确的。可能存在foo的重载，根据T返回不同的类型。因此对bar的调用取决于模板参数。

请考虑以下情况:

struct FooBar
{
   template<class T>
   auto bar() -> T
   {
       return 42;
   }
};

class Builder
{
    public:
        Builder()
        {}

        auto foo(int) -> Builder &
        {
            return *this;
        }

        auto foo(short) -> FooBar
        {
            return {};
        }

        template<typename T>
        auto bar() -> Builder &
        {
            return *this;
        }
};

呼叫方式：

auto builder = get_builder<short>();

重载的可能性(而不是实际存在)使名称依赖于。请参考[临时部门](强调我的):

在模板内部，一些结构的语义学可能因实例而异。这种结构取决于模板参数。

编译器没有义务检查模板的所有实例化以查看重载集中是否只有一个可能的函数。