代码之家 › 专栏 › 技术社区 › Nate

这个模板解析冲突叫什么?

name-lookup templates c++

Nate · 技术社区 · 7 年前

我在用g++7.3编译这个最小的示例时遇到了一个问题

template<typename T>
struct conflict
{
};

template<typename T>
struct s
{
    int conflict;
};

template<typename T>
bool go()
{
    s<T>* sp;
    return sp->conflict < 0;
}

|| test.cpp: In function âbool go()â:
test.cpp|16 col 24| error: type/value mismatch at argument 1 in template parameter list for âtemplate<class T> struct conflictâ
||   return sp->conflict < 0;
||                         ^
test.cpp|16 col 24| note:   expected a type, got â0â

事实上,编译器正试图实例化 conflict 模板,而不是比较领域

> . 有更好的办法吗?

1 回复 | 直到 7 年前

Shafik Yaghmour 7 年前

作为 T.C. pointed out 这是本书的主题 CWG active issue 1835 上面说:

根据6.4.5[基本查找.classref]第1段,

在类成员访问表达式(8.2.5[expr.ref])中,如果。或->令牌后面紧跟一个标识符,后跟一个<,必须查找标识符以确定<是对象表达式。如果找不到标识符,则将其删除在整个后缀表达式的上下文中查找,并应

鉴于
   template<typename T> T end(T);
   template<typename T>
   bool Foo(T it) {
     return it->end < it->end;
   }
因为它是依赖的,因此在类中无法查找end 后缀表达式。此查找查找函数模板,使这个表达形式不正确。

解决方法是使用 ()

return (sp->conflict) < 0;

see it live on godbolt

推荐文章

AstralHex · 矩阵乘法代码工作不正常

1 年前

Baba Dan Constantin · SSE4.1在矩阵4x4乘法上比SSE3慢?

1 年前

Giogre · 为包含许多数值字段的简单“struct”重载比较运算符

1 年前

einpoklum · 定义一个并不真正提供now()函数的std::chrono Clock是“合法的”吗?

1 年前

Fishie · 作为类成员的智能指针是否仍然自动释放?[关闭]

1 年前

Die4Toast · 递归调用成员箭头运算符->

1 年前

Angle.Bracket · 如何用C++将UTF-8文件名写入MS Windows控制台?

1 年前

Anka HanÄ±m · 关于结构和动态数组地址的问题

1 年前

Adam Barnes · 我如何定义一个基于constexpr函数返回值进行限制的概念?

1 年前

user2138149 · 为什么我不能获取包含多个元素的结构体中某些元素的地址?[副本]

1 年前