代码之家 › 专栏 › 技术社区 › Seth Johnson

模板:模板函数与类的模板成员函数不匹配

templates c++

Seth Johnson · 技术社区 · 15 年前

这是我实际拥有的一些代码的最小测试用例。当它尝试评估时失败 a.getResult<B>() :

test.cpp: In function 'void printStuff(const A&)':
test.cpp:6: error: expected primary-expression before '>' token
test.cpp:6: error: expected primary-expression before ')' token

代码是:

#include <iostream>

template< class A, class B>
void printStuff( const A& a)
{
    size_t value = a.getResult<B>();
    std::cout << value << std::endl;
}

struct Firstclass {
    template< class X >
    size_t getResult() const {
        X someInstance;
        return sizeof(someInstance);
    }
};

int main(int, char**) {
    Firstclass foo;

    printStuff<Firstclass, short int>(foo);
    printStuff<Firstclass, double>(foo);

    std::cout << foo.getResult< double >() << std::endl;

    return 0;
}

如果我评论 printStuff 函数及其调用位置 foo.getResult< double >() 调用编译良好,并按预期执行。

知道怎么回事吗?我使用广泛模板化代码已经有一段时间了,从未遇到过类似的情况。

2 回复 | 直到 15 年前

AnT stands with Russia 15 年前

如果引用的模板是依赖类型的成员,则必须在其前面加上关键字 template . 这就是呼叫的方式 getResult 里面 printStuff 应该看看

size_t value = a.template getResult<B>();

这类似于使用关键字 typename 引用依赖类型中的嵌套类型名时。出于某种原因 类别名 对于嵌套类型是相当有名的,但是对于 模板 使用嵌套模板是相对未知的。

注意,一般的语法结构有点不同。这个 类别名 总是放在类型的全名前面,而 模板 插入到中间。

同样,只有在访问 从属型 ,在上面的示例中, A 在里面 印刷品 . 当你打电话 foo.getResult<> 在里面 main 类型 foo 不依赖,因此不需要包括 模板 关键字。

Kirill V. Lyadvinsky 15 年前

根据C++标准142/4,您的代码格式不正确:

当成员模板专用化的名称出现在 . 或 -> 在一个 后缀表达式 ,或之后 嵌套名称说明符 在一个 合格身份证 ,并且后缀表达式或限定ID显式依赖于模板参数(14.6.2),成员模板名称必须以关键字作为前缀。 template . 否则,将假定该名称命名非模板。

所以,你应该写 size_t value = a.template getResult<B>();

推荐文章

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

6 月前

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

6 月前

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

6 月前

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

6 月前

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

6 月前

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

6 月前

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

6 月前

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

6 月前

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

6 月前

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

6 月前