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

在一个有保证的副本省略的世界中的构造函数实例化

c++17 templates c++

Barry · 技术社区 · 6 年前

考虑这个例子:

template <typename T>
using type = typename T::type;

template <typename T>
struct A
{
    A(type<T>);
};

A<int> f();
A<int> g() { return f(); }

GCC和Clang都没有编译此代码,因为 int 没有嵌套 type typedef.但为什么这个构造函数被实例化了呢? f() 是与返回的类型相同的prvalue g() 不应该有任何行动。是什么导致我们实例化了错误的构造函数?

1 回复 | 直到 6 年前

StoryTeller - Unslander Monica 6 年前

构造器有点像红鲱鱼。如果它是任何其他成员函数,也会发生同样的情况。

template <typename T>
struct A
{
    void foo(type<T>); // Same error
};

类模板专门化的隐式实例化导致声明的隐式实例化,但不是定义、默认参数或类的NoExcept说明符成员函数,[…]

声明已实例化,因此 type<T> 必须成形良好。

推荐文章

Abhishek Ojha · 为什么我的代码接受其他数据类型以及模板中的给定数据类型?[副本]

2 年前

TCD · 标准库非类型模板类是否显式实例化?

2 年前

onehundredquestions guy · 在不实例化的情况下将模板函数作为参数传递?[副本]

2 年前

sovesti · 参数较少的模板函数中的演绎

2 年前

KiraHoneybee · 具有构造函数参数的模板化类

2 年前

Seymore Glass · 模板不工作的默认参数

2 年前

Alex Hodges · 是否有一种更惯用的方法来专门化通过模板传递的标志的行为?

2 年前

Alexander Daum · 模板参数中对模板类型的引用

6 年前

ledonter · 为什么注入的类名有时不被视为类模板中的模板名?

6 年前

RBaum · 从WooCommerce“订单保留”和“新订单”电子邮件中删除订单

6 年前