- 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>
命名一个类型而不是一个函数?
最佳答案
(请参阅here also for my C++11 answer)
为了解析C++程序,编译器需要知道某些名称是否为类型。以下示例说明了这一点:
t * f;
t
的含义,以上内容可能会产生截然不同的解释。如果是类型,则它将是指针
f
的声明。但是,如果不是类型,它将是一个乘法。因此,C++标准在第(3/7)段中说:
Some names denote types or templates. In general, whenever a name is encountered it is necessary to determine whether that name denotes one of these entities before continuing to parse the program that contains it. The process that determines this is called name lookup.
t::x
引用模板类型参数,编译器将如何找出
t
引用的名称?
x
可以是一个静态的int数据成员,可以乘以,也可以是可以产生声明的嵌套类或typedef。
如果名称具有此属性-在知道实际的模板参数之前无法查找,则该名称称为从属名称(“取决于”模板参数)。
Let's wait until the user instantiates the template, and then later find out the real meaning of
t::x * f;
.
t::x
是从属名称,那么我们需要给它加上
typename
前缀,以告诉编译器以某种方式对其进行解析。标准在(14.6/2)中说:
A name used in a template declaration or definition and that is dependent on a template-parameter is assumed not to name a type unless the applicable name lookup finds a type name or the name is qualified by the keyword typename.
typename
,因为编译器可以使用模板定义中的适用名称查找来弄清楚如何解析结构本身-例如,当
T *f;
是类型模板参数时,使用
T
。但是要使
t::x * f;
成为声明,必须将其写为
typename 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
-因此,可以认为,已知非合格名称总是引用类型。
boost::function< int() > f;
boost::function
和
f
的任意定义:
namespace boost { int function = 0; }
int main() {
int f = 0;
boost::function< int() > f;
}
boost::function
与零(
int()
)进行比较,然后使用大于运算符将结果
bool
与
f
进行比较。但是,您可能知道,
boost::function
in real life是模板,因此编译器知道(14.2/3):
After name lookup (3.4) finds that a name is a template-name, if this name is followed by a <, the < is always taken as the beginning of a template-argument-list and never as a name followed by the less-than operator.
typename
相同的问题。如果在解析代码时我们还不知道名称是否是模板怎么办?根据
template
的指定,我们需要在模板名称之前插入
14.2/4
。看起来像:
t::template f<int>(); // call a function template
::
之后,而且可以出现在
->
或
.
之后。您也需要在其中插入关键字:
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)
(用于值依赖的表达式)。
T::x
,因此它也必须是从属名称(很幸运,从C++ 14开始,委员会已经开始研究如何解决这个令人困惑的定义)。
A name is a use of an identifier (2.11), operator-function-id (13.5), conversion-function-id (12.3.2), or template-id (14.2) that denotes an entity or label (6.6.4, 6.1)
operator +
和
operator type
形式。最后一种形式是
template-name <argument list>
。所有这些都是名称,按照标准中的常规用法,名称还可以包含限定符,该限定符表示应查找名称的 namespace 或类。
1 + N
不是名称,但
N
是名称。所有相关构造的子集即名称都称为相关名称。但是,函数名称在模板的不同实例中可能具有不同的含义,但是不幸的是,该通用规则没有捕获函数名称。
f((T)0)
中,
f
是从属名称。在标准中,这是在
(14.6.2/1)
处指定的。
typename
和
template
。您的代码应如下所示
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;
typename
。假定给定的名称是类类型名称。对于基类列表和构造函数初始化器列表中的名称都是如此: template <typename T>
struct derive_from_Has_type : /* typename */ SomeBase<T>::type
{ };
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/38794807/
#include using namespace std; class C{ private: int value; public: C(){ value = 0;
这个问题已经有答案了: What is the difference between char a[] = ?string?; and char *p = ?string?;? (8 个回答) 已关闭
关闭。此题需要details or clarity 。目前不接受答案。 想要改进这个问题吗?通过 editing this post 添加详细信息并澄清问题. 已关闭 7 年前。 此帖子已于 8 个月
除了调试之外,是否有任何针对 c、c++ 或 c# 的测试工具,其工作原理类似于将独立函数复制粘贴到某个文本框,然后在其他文本框中输入参数? 最佳答案 也许您会考虑单元测试。我推荐你谷歌测试和谷歌模拟
我想在第二台显示器中移动一个窗口 (HWND)。问题是我尝试了很多方法,例如将分辨率加倍或输入负值,但它永远无法将窗口放在我的第二台显示器上。 关于如何在 C/C++/c# 中执行此操作的任何线索 最
我正在寻找 C/C++/C## 中不同类型 DES 的现有实现。我的运行平台是Windows XP/Vista/7。 我正在尝试编写一个 C# 程序,它将使用 DES 算法进行加密和解密。我需要一些实
很难说出这里要问什么。这个问题模棱两可、含糊不清、不完整、过于宽泛或夸夸其谈,无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开,visit the help center . 关闭 1
有没有办法强制将另一个 窗口置于顶部? 不是应用程序的窗口,而是另一个已经在系统上运行的窗口。 (Windows, C/C++/C#) 最佳答案 SetWindowPos(that_window_ha
假设您可以在 C/C++ 或 Csharp 之间做出选择,并且您打算在 Windows 和 Linux 服务器上运行同一服务器的多个实例,那么构建套接字服务器应用程序的最明智选择是什么? 最佳答案 如
你们能告诉我它们之间的区别吗? 顺便问一下,有什么叫C++库或C库的吗? 最佳答案 C++ 标准库 和 C 标准库 是 C++ 和 C 标准定义的库,提供给 C++ 和 C 程序使用。那是那些词的共同
下面的测试代码,我将输出信息放在注释中。我使用的是 gcc 4.8.5 和 Centos 7.2。 #include #include class C { public:
很难说出这里问的是什么。这个问题是含糊的、模糊的、不完整的、过于宽泛的或修辞性的,无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开它,visit the help center 。 已关
我的客户将使用名为 annoucement 的结构/类与客户通信。我想我会用 C++ 编写服务器。会有很多不同的类继承annoucement。我的问题是通过网络将这些类发送给客户端 我想也许我应该使用
我在 C# 中有以下函数: public Matrix ConcatDescriptors(IList> descriptors) { int cols = descriptors[0].Co
我有一个项目要编写一个函数来对某些数据执行某些操作。我可以用 C/C++ 编写代码,但我不想与雇主共享该函数的代码。相反,我只想让他有权在他自己的代码中调用该函数。是否可以?我想到了这两种方法 - 在
我使用的是编写糟糕的第 3 方 (C/C++) Api。我从托管代码(C++/CLI)中使用它。有时会出现“访问冲突错误”。这使整个应用程序崩溃。我知道我无法处理这些错误[如果指针访问非法内存位置等,
关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。 我们不允许提问寻求书籍、工具、软件库等的推荐。您可以编辑问题,以便用事实和引用来回答。 关闭 7 年前。
已关闭。此问题不符合Stack Overflow guidelines 。目前不接受答案。 要求我们推荐或查找工具、库或最喜欢的场外资源的问题对于 Stack Overflow 来说是偏离主题的,因为
我有一些 C 代码,将使用 P/Invoke 从 C# 调用。我正在尝试为这个 C 函数定义一个 C# 等效项。 SomeData* DoSomething(); struct SomeData {
这个问题已经有答案了: Why are these constructs using pre and post-increment undefined behavior? (14 个回答) 已关闭 6
我是一名优秀的程序员,十分优秀!