- android - 多次调用 OnPrimaryClipChangedListener
- android - 无法更新 RecyclerView 中的 TextView 字段
- android.database.CursorIndexOutOfBoundsException : Index 0 requested, 光标大小为 0
- android - 使用 AppCompat 时,我们是否需要明确指定其 UI 组件(Spinner、EditText)颜色
在模板中,为什么必须在何处以及为什么将typename
和template
放在从属名称上?无论如何,从属名称到底是什么?我有以下代码:
template <typename T, typename Tail> // Tail will be a UnionNode too.
struct UnionNode : public Tail {
// ...
template<typename U> struct inUnion {
// Q: where to add typename/template here?
typedef Tail::inUnion<U> dummy;
};
template< > struct inUnion<T> {
};
};
template <typename T> // For the last node Tn.
struct UnionNode<T, void> {
// ...
template<typename U> struct inUnion {
char fail[ -2 + (sizeof(U)%2) ]; // Cannot be instantiated for any U
};
template< > struct inUnion<T> {
};
};
typedef Tail::inUnion<U> dummy
行中。我相当确定
inUnion
是一个从属名称,而VC ++恰好可以使它窒息。我也知道我应该能够在某处添加
template
来告诉编译器inUnion是模板ID。但是到底在哪里?然后是否应该假设inUnion是一个类模板,即
inUnion<U>
命名一个类型而不是一个函数?
最佳答案
为了解析C ++程序,编译器需要知道某些名称是否为类型。以下示例说明了这一点:
t * f;
t
的含义,以上内容可能会产生截然不同的解释。如果是类型,则它将是指针
f
的声明。但是,如果不是类型,它将是一个乘法。因此,C ++标准在第(3/7)段中说:
t::x
引用模板类型参数,编译器将如何找出名称
t
所指?
x
可以是可以乘以的静态int数据成员,也可以是可以产生声明的嵌套类或typedef。如果名称具有此属性-在知道实际的模板参数之前不能查找它-那么它被称为从属名称(它“取决于”模板参数)。
t::x * f;
的真实含义。
t::x
是从属名称,那么我们需要给它加上
typename
前缀,以告诉编译器以某种方式对其进行解析。标准在(14.6 / 2)中说:
typename
,因为编译器可以通过模板定义中的适用名称查找来弄清楚如何解析结构本身-例如,当
T *f;
是类型模板参数。但是要使
T
成为声明,必须将其写为
t::x * f;
。如果省略关键字,并且名称被视为非类型,但是当实例化发现它表示类型时,编译器会发出通常的错误消息。有时,错误因此在定义时给出:
// t::x is taken as non-type, but as an expression the following misses an
// operator between the two names or a semicolon separating them.
t::x f;
typename t::x *f;
-因此,可以认为,通常已知非合格名称总是引用类型。
boost::function< int() > f;
typename
和
boost::function
的以下任意定义:
namespace boost { int function = 0; }
int main() {
int f = 0;
boost::function< int() > f;
}
f
与零(
boost::function
)进行比较,然后使用大于运算符将结果
int()
与
bool
进行比较。但是,您可能知道,
f
in real life是模板,因此编译器知道(14.2 / 3):
boost::function
相同的问题。如果在解析代码时我们还不知道名称是否是模板怎么办?根据
typename
的指定,我们需要在模板名称之前插入
template
。看起来像:
t::template f<int>(); // call a function template
14.2/4
之后,而且可以在
::
或
->
之后。您还需要在其中插入关键字:
this->template f<int>(); // call a function template
.
)
T
)
N
)
(T)0
是值相关的表达式或
T[N]
是相关类型,则构造为
N
的类型是相关类型。有关详细信息,请参见
T
部分中的相关类型,有关类型相关的表达式,可参见
(14.6.2/1
,对于基于值的表达式,可参见
(14.6.2.2)
。
(14.6.2.3)
,因此它也必须是从属名称(幸运的是,自C ++ 14中期开始,委员会已开始研究如何解决此令人困惑的定义)。
T::x
和
operator +
形式。最后一种形式是
operator type
。所有这些都是名称,按照标准中的常规用法,名称还可以包含限定符,该限定符表示应查找名称的名称空间或类。
template-name <argument list>
不是名称,而
1 + N
是名称。所有相关构造的子集即名称都称为相关名称。但是,函数名称在模板的不同实例中可能具有不同的含义,但不幸的是,该通用规则并未捕获它们。
N
中,
f((T)0)
是从属名称。在标准中,这是在
f
中指定的。
(14.6.2/1)
和
typename
。您的代码应如下所示
template <typename T, typename Tail>
struct UnionNode : public Tail {
// ...
template<typename U> struct inUnion {
typedef typename Tail::template inUnion<U> dummy;
};
// ...
};
template
不一定总是出现在名称的最后部分。它可以出现在用作范围的类名的中间,如以下示例所示
typename t::template iterator<int>::value_type v;
template
。假定给定的名称是类类型名称。对于基类列表和构造函数初始化器列表中的名称都是如此:
template <typename T>
struct derive_from_Has_type : /* typename */ SomeBase<T>::type
{ };
typename
之后使用
template
,并且C ++委员会
said不能使用解决方案。
template <typename T>
struct derive_from_Has_type : SomeBase<T> {
using SomeBase<T>::template type; // error
using typename SomeBase<T>::type; // typename *is* allowed
};
关于c++ - 为什么必须在何处以及为什么要放置"template"和"typename"关键字?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/26740685/
我试图任意“绑定(bind)”模板参数,但遇到了一个优雅问题。 直接切入根本问题,gcc 6.2 有以下问题,但逻辑上我认为没有问题...... template P, typename A, typ
我想知道为什么类特化来自 template至 template不支持。 例如: template struct B{}; template struct B{}; //ok template str
我希望以下代码在 foo 从 base 派生任何东西时编译,否则会出现编译错误。我已经编写了类型特征类 is_Base,因为 std::is_base_of 不能很好地与我的模板内容一起使用。我很接近
最近我偶然发现了这样一段代码: template template void SomeClass::Function() {} 有模板函数,但它有奇怪的语法,我不太明白。它有什么作用?附近有没有t
我有一个 vector : std::vector> m_connections 然后我想声明一个由共享指针组成的 vector ,指向与该 vector 以通用方式由弱指针持有的相同类型: std:
探索时this answer我发现采用参数包的模板不会被期望具有特定数量参数的模板的模板接受。 在我看来,这是一个缺陷,因为如果一个模板可以接受任意数量的参数,它应该能够映射到一个特定的数字。有语言律
我需要为我的类获取 2 个类型参数:T1,它是一个具有模板的类,以及 T2,它是 T1 模板的参数。 在我的例子中,一个顶点类型(有 2 个,一个从另一个继承),以及顶点存储的数据类型(在我的例子中是
有时我发现自己需要以下东西: template struct choose{ typedef T1 type; }; template struct choose{ typedef T2 ty
对我来说,编译器可以推导出这样的模板类型看起来很自然: template struct wrap { std::function func_; template wrap(Ar
我对嵌套模板及其模板特化有疑问。给定以下类: 一个小模板类 template class T { public: T(){} virtual ~T (){} }; 还有一些嵌套模板 t
我正在从事一个使用 VS 2008 中内置的测试工具的项目。 我会定期看到类似于以下内容的错误:“AcademyPro.Code.BLL.Appearance”类型的值无法转换为“AcademyPro
代码如下: namespace o { template struct Alias; template inline std::ostream &operator &inst); template
根据文档(https://en.cppreference.com/w/cpp/utility/move),std::move有两种构造函数,在下面发布。 这些构造函数之间有什么区别? 最让我困惑的是,
我有三个 View (AddMatchView、TeamPickerView 和 TeamsOfCountryView)。一切都应该像这样工作:从 AddTeamView 我转到 TeamPicker
关闭。这个问题是not reproducible or was caused by typos .它目前不接受答案。 这个问题是由于错别字或无法再重现的问题引起的。虽然类似的问题可能是on-topi
我试图通过想象神秘的构造来更全面地掌握模板语法和语义。我认为 C++11 标准不允许使用以下语法: template class A {...}; // phony "specialization"
我非常惊讶地发现,当依赖类型作为基类出现时,没有必要添加 typename: struct B {}; struct wr { typedef B type; }; template struct A
我一直在阅读有关删除类型引用的内容,here . 它给出了以下示例: #include // std::cout #include // std::is_same template void pr
一段时间以来,我一直在尝试使用模板,但我做的越多,我意识到我理解的就越少。这个最新的问题感觉就像是我发现了一个相当根本的误解,我开始比以往任何时候都想得更多,“好吧,明天我不应该写任何代码,而是找一个
以下是代码,引用自 Addison Wesley 的 C++ 模板: template class MyClass { typename T::SubType * ptr;
我是一名优秀的程序员,十分优秀!