- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
如果下面的类不是模板,则可以在x
类中仅包含derived
。但是,在下面的代码中,我必须使用this->x
。为什么?
template <typename T>
class base {
protected:
int x;
};
template <typename T>
class derived : public base<T> {
public:
int f() { return this->x; }
};
int main() {
derived<int> d;
d.f();
return 0;
}
最佳答案
简短答案:为了使x
成为从属名称,以便将查找推迟到知道模板参数为止。
长答案:当编译器看到模板时,应该立即执行某些检查,而不会看到template参数。其他参数则推迟到参数已知为止。这称为两阶段编译,而MSVC则不这样做,但是它是标准要求的,并由其他主要编译器实现。如果愿意,编译器必须在看到模板后立即对其进行编译(以某种内部解析树表示形式),并将实例化编译推迟到以后。
对模板本身(而不是模板的特定实例)执行的检查要求编译器能够解析模板中代码的语法。
在C++(和C)中,为了解析代码的语法,有时您需要知道某物是否为类型。例如:
#if WANT_POINTER
typedef int A;
#else
int A;
#endif
static const int x = 2;
template <typename T> void foo() { A *x = 0; }
x
进行阴影处理外没有其他作用)。如果A是一个对象,那就是乘法(并且禁止某些运算符重载它是非法的,并分配给rvalue)。如果错误,则必须在阶段1中诊断该错误,标准将其定义为模板中的错误,而不是模板的某些特定实例。即使模板从未实例化,如果A是
int
,那么上面的代码也是错误的格式,必须对其进行诊断,就像
foo
根本不是模板,而是普通函数一样。
A
在这里不是从属名称,无论类型
T
是什么,它都引用相同的名称。因此,需要在定义模板之前进行定义,以便在阶段1中找到并检查模板。
T::A
是一个取决于T的名称。我们在阶段1中可能无法知道那是否是类型。最终在实例化中最终将用作
T
的类型甚至还没有定义,即使是这样,我们也不知道哪种类型将用作模板参数。但是我们必须解析语法,以便对格式错误的模板进行宝贵的第一阶段检查。因此,该标准对从属名称有一个规则-编译器必须假定它们是非类型,除非使用
typename
进行限定以指定它们是类型,或在某些明确的上下文中使用。例如,在
template <typename T> struct Foo : T::A {};
中,
T::A
用作基类,因此无疑是一种类型。如果使用具有数据成员
Foo
而不是嵌套类型A的某种类型实例化
A
,则这是执行实例化的代码中的错误(阶段2),而不是模板中的错误(阶段1)。
template <typename T>
struct Foo : Bar<T> {
Foo() { A *x = 0; }
};
typename std::string s = "hello, world";
std::string
是从属名称,因此除非另有说明,否则假定为非类型。哎哟!
return x;
)的第二个问题是,即使在
Bar
之前定义了
Foo
,并且
x
不是该定义的成员,但以后有人可以为某种类型
Bar
定义
Baz
的特殊化,因此
Bar<Baz>
确实具有数据成员
x
,然后实例化
Foo<Baz>
。因此,在该实例化中,您的模板将返回数据成员,而不是返回全局
x
。或者相反,如果
Bar
的基本模板定义具有
x
,则他们可以定义一个没有它的特殊化,您的模板将寻找一个全局
x
以
Foo<Baz>
返回。我认为这被认为与您遇到的问题一样令人惊讶和困扰,但是与引发令人惊讶的错误相反,这是无声的令人惊讶。
A
依赖的常用方法:
using Bar<T>::A;
-A
现在引用Bar<T>
中的某些内容,因此是依赖的。 Bar<T>::A *x = 0;
-再次,A
肯定在Bar<T>
中。这是乘法,因为未使用typename
,因此可能是一个不好的例子,但是我们必须等到实例化才能确定operator*(Bar<T>::A, x)
是否返回右值。谁知道,也许是... this->A;
-A
是成员,因此,如果它不在Foo
中,则它必须在基类中,标准再次声明这使其依赖。 return x;
是基类中的嵌套类型,则
x
没有任何意义,因此该语言应(a)表示它是从属名称,(2)将其视为非类型,而您的代码无需
this->
即可使用。在某种程度上,您是解决方案所导致的附带损害的受害者,而该问题不适用于您的情况,但仍然存在基类可能会在您的名字下引入阴影全局名称的问题,或者没有您认为的名称他们有,而是找到了一个整体。
std::string s = "";
中,
std::string
可以作为类型读取,因为没有别的选择即使
std::string *s = 0;
不明确,也具有语法上的意义)。再说一次,我不知道规则是如何达成的。我的猜测是,需要为创建上下文和非类型的上下文创建许多特定规则,从而减少了所需的文本页数。
关于c++ - 为什么我必须通过this指针访问模板基类成员?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/23216598/
我感到困惑...... 我在 .jsp 中编写了一个小例程。最后需要关闭ResultSet、Statement和Connection。我也在finally { }中编写了结束代码,但是当页面运行时,它
我在 Stack Overflow 上读到一些 C 函数是“过时的”或“应该避免”。你能给我一些这种功能的例子以及原因吗? 这些功能有哪些替代方案? 我们可以安全地使用它们 - 有什么好的做法吗? 最
我正在构建一个应用程序,它可以拍照、显示图片,然后一旦被点击,就会在点击的任何地方返回图片的颜色。 它在崩溃之前到达了水龙头。我得到 x 必须是 < bitmap.width() 的错误 就我的理解而
我试图根据几个因素向用户提出建议: •建议只能是同一所大学的学生•建议必须至少匹配一个其他字段 我以为我有它,但问题是这个查询将返回同一所学校的所有学生,而不管其他情况: PUT /user/.per
我的应用程序必须从第三方读取 SSL 网址。我如何最好地将第三方凭证存储在我自己的数据库中,以保护第三方凭证不被泄露?兼顾绝对的安全性和实用性。对凭据进行单向哈希处理没有用,因为我必须将凭据恢复为明文
在我的 Rails API 中,我希望 Mongo 对象作为 JSON 字符串返回,Mongo UID 作为“id”属性而不是“_id”对象。 我希望我的 API 返回以下 JSON: { "
假设应用层协议(protocol)是通过UDP实现的。客户端需要超时,因此服务器需要保留与其通信的每个客户端的状态。 还假设使用了select。 实现多线程服务器总是最好的吗?我认为链接列表也会做同样
考虑一个非常短的程序,我在其中分配了一点内存。我被告知,GC 在程序分配大量内存并且分配达到限制的情况下运行。 我不知道这个限制到底是多少,但我认为它必须足够高,这样 GC 才不会频繁运行并减慢程序的
根据 Cocoa with Love当应用程序需要 WiFi(而不是蜂窝网络)时需要可达性,例如如果应用加载大量视频并且不适合在 3G 网络上使用。 我的应用程序使用互联网,无论是 WiFi 还是 3
我正在寻找更好的解决方案来解决我面临的这个问题。 如果您将鼠标悬停在缩略图上,它会淡出较大的镜头并淡入新的镜头,这很好,但是当转到目标缩略图并且您的鼠标再悬停一些时,它会更改为您的鼠标经过并拍摄的其他
启用 UAC 并使用管理帐户登录后,您将获得两个 token : 提升的 token ;这已启用 Administrators 组,具有高完整性(即强制性完整性标签 SID 为 S-1-16-1228
我想知道在 React 中创建动态选择组件的规范方法是什么。我是否必须创建一个单独的组件来根据下面的代码返回选项,以便能够通过每个条目的 props 自定义值,然后将它们包含到单独的选择组件中? p>
我有一个启用了分页的数据网格。我根据过滤条件在数据网格中显示结果。我已经过滤了数据,现在有 2 页。当我转到第二页时。我正在再次执行搜索功能以缩小结果范围。然后我收到类似“无效的 CurrentPag
我有原始文本列,其值类似于“2012-07-26T10:33:34”和“2012-07-26T10:56:16”。在使用 Joda-Time 的 Java 中,我可以通过调用 轻松地将其转换为日期/从
您好,我被分配了一项棘手的任务。我需要让一个方形 div 到达顶部的一个点。基本上它看起来像一个正方形 div,顶部有一个宽三 Angular 形。请参阅下面的屏幕截图。顶部的深蓝色只是堆叠在白色 d
我想知道,为什么我们在 android 中使用不同的启动器图标(大小)。目前您“必须”将图标大小调整为: LDPI - 36 x 36 MDPI - 48 x 48 HDPI - 72 x 72 XH
在 SO 的几个地方,声称必须知道对象的确切类型并基于此做出决定(以 if-then-else 方式)指向一个设计缺陷,例如here . 我想知道是否总是如此。在当前的一个小型教育项目(我正在使用它来
据我了解,迭代器是一种为客户端提供接口(interface)以观察/迭代/传递自定义集合等内容的机制,而不破坏信息隐藏原则。 STL 容器有自己的迭代器,所以我们可以毫无问题地对它们使用 for (
我在 Golang 中编写了一个包装函数,用于从多个文件中渲染模板,如下所示: func RenderTemplate(w http.ResponseWriter, data interface{},
据我了解,size_type 和 difference_type 的目的不仅仅是符号——它也是为了解决例如分段架构等,它们可能具有不同的大小。 在这种情况下,如果我有一个带有随机访问迭代器的容器,那么
我是一名优秀的程序员,十分优秀!