草庐IT

c++ - 预期的行为是什么？

coder 2023-11-17 原文

下面是一个纯学术发明的类层次结构。

struct X{
        void f1();
        void f2();
        void f3();
};

struct Y : private X{
        void f4();
};

struct Z : X{
};

struct D : Y, Z{
        using X::f2;
        using Z::X::f3;
};

int main(){}

我预计使用 X::f2 的声明是模棱两可的，因为“X”是“D”的模棱两可的基础(X 的可见性与可访问性)。但是 g++ (ideone.com) 可以很好地编译它。

我与 Online Comeau 进行了核实，它在按预期使用 X::f2 的声明时出错。然而，它也为 Z::X::f3 的使用声明带来了歧义。

那么预期的行为是什么？

编辑 1:

请引用标准的相应部分会有所帮助。

编辑 2:

我检查了 VS 2010，它仅对使用声明 X::f2 有异议。然而，这与“X”的歧义无关(如 gcc 和 Comeau 的情况)。它是关于“错误 C2876:‘X’:并非所有重载都可访问”。

编辑 3:

struct X{
    void f(){}
};

struct Y : X{
    struct trouble{
        void f(){}
    };

};

struct trouble : X{
};

struct letscheck : Y, trouble{
    using trouble::f;
};

int main(){}

在这里，我试图(有目的地)在 using 声明中创建类型问题。 Gcc 仍然编译得很好，VS2010 也是如此。 Comeau 仍然给出关于模糊类型“麻烦”的错误(正如预期的那样)。根据对初始查询的解释，GCC 和 VS2010 似乎是错误的。对吗？

最佳答案

我认为这些都不是格式错误的。首先，对于 using X::f2，查找 X，这将明确地产生类类型 X。然后查找X中的f2，这也是明确的(不是在D中查找!)。

出于同样的原因，第二种情况也适用。

但是，如果您调用 f2 对象在 D 上，调用将是不明确的，因为名称 f2 在 X 类型的 D 的所有子对象中查找，并且 D 有两个这样的子对象，并且 f2是一个非静态成员函数。同样的原因也适用于第二种情况。无论您是使用 Z::X 还是直接使用 X 命名 f3 都没有什么区别。这两个指定类 X。

要使 using 声明产生歧义，您需要以不同的方式编写它。请注意，在 C++0x 中 using ThisClass::...; 是无效的。但它在 C++03 中，只要整个名称指的是基类成员。

相反，如果在 C++0x 中允许这样做，则整个 using 声明也是有效的，因为 C++0x 不考虑名称查找的子对象:D::f2 明确地只引用一个声明(X 中的那个)。参见 DR #39和最终论文 N1626 .

struct D : Y, Z{
    // ambiguous: f2 is declared in X, and X is a an ambiguous base class
    using D::f2;
 
    // still fine (if not referred to by calls/etc) :)
    using Z::X::f3;
};

struct E : D {
  // ambiguous in C++03
  // fine in C++0x (if not referred to by an object-context (such as a call)).
  using D::f2;
};

C++03 标准在段落 10.2 和 3.4.3.1 中对此进行了描述。

对 Edit3 的响应:

是的，GCC和VS2010是错的。 trouble 指的是通过::trouble 的注入(inject)类名找到的类型，以及作为Y::trouble 找到的嵌套类。在 :: 之前的名称 trouble 是使用非限定查找查找的(通过 3.4.1/7，它委托(delegate)给 10.2 在第一个项目符号中)忽略任何对象、函数和枚举器名称(3.4.3/1 - 虽然在这种情况下没有这样的名称)。然后它违反了 10.2 的要求:

If the resulting set of declarations are not all from sub-objects of the same type ... the program is ill-formed.

有可能 VS2010 和 GCC 以不同于 Comeau 的方式解释 C++0x 的措辞并追溯实现该措辞:

In a using-declaration used as a member-declaration, the nested-name-specifier shall name a base class of the class being defined.

这意味着非基类被考虑了，但是如果命名了非基类是一个错误。如果标准打算忽略非基类名称，它会在此处说只能，或者明确地拼写出来(两种做法都已完成)。然而，该标准根本不是其使用应 和可以 的结果。并且 GCC 实现了 C++0x 措辞，因为它拒绝了其他完全好的 C++03 代码，只是因为 using 声明包含它的类名。

有关措辞不明确的示例，请考虑以下表达式:

a.~A();

这在语法上是不明确的，因为如果 a 是一个类对象，它可以是一个成员函数调用，但如果 a 具有标量类型(例如 int)。但标准所说的是分别在 5.2.4 和 5.2.5 的伪析构函数调用和类成员访问的语法

The left-hand side of the dot operator shall be of scalar type.

For the first option (dot) the type of the first expression (the object expression ) shall be “class object” (of a complete type).

这是错误的用法，因为它根本没有消除歧义。它应该使用“只能”，并且编译器以这种方式解释它。这主要有历史原因，正如一些委员会成员最近在 usenet 上告诉我的那样。参见 The rules for the structure and drafting of International Standards , 附件 H.

关于c++ - 预期的行为是什么？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/3546340/

amp43codeusingstructc++declarationambiguity

有关c++ - 预期的行为是什么？的更多相关文章

  1. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法？ - 2

    类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

  2. ruby-on-rails - Rails - 子类化模型的设计模式是什么？ - 2

    我有一个模型:classItem项目有一个属性“商店”基于存储的值，我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式？如果方法中没有大的if-else语句，这是如何干净利落地完成的？ 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.co

  3. ruby - 什么是填充的 Base64 编码字符串以及如何在 ruby​​ 中生成它们？ - 2

    我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%

  4. ruby - 解析 RDFa、微数据等的最佳方式是什么，使用统一的模式/词汇(例如 schema.org)存储和显示信息 - 2

    我主要使用Ruby来执行此操作，但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式，例如使用这个yaml文件，它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i

  5. ruby - 为什么 4.1%2 使用 Ruby 返回 0.0999999999999996？但是 4.2%2==0.2 - 2

    为什么4.1%2返回0.0999999999999996？但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意，这不是与Ruby相关的问题，而是与所有编程语言相关的问题，因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返

  6. ruby-on-rails - 如何优雅地重启 thin + nginx？ - 2

    我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server

  7. ruby - ruby 中的 TOPLEVEL_BINDING 是什么？ - 2

    它不等于主线程的binding，这个toplevel作用域是什么？此作用域与主线程中的binding有何不同？>ruby-e'putsTOPLEVEL_BINDING===binding'false 最佳答案 事实是，TOPLEVEL_BINDING始终引用Binding的预定义全局实例，而Kernel#binding创建的新实例>Binding每次封装当前执行上下文。在顶层，它们都包含相同的绑定(bind)，但它们不是同一个对象，您无法使用==或===测试它们的绑定(bind)相等性。putsTOPLEVEL_BINDINGput

  8. ruby - Infinity 和 NaN 的类型是什么？ - 2

    我可以得到Infinity和NaNn=9.0/0#=>Infinityn.class#=>Floatm=0/0.0#=>NaNm.class#=>Float但是当我想直接访问Infinity或NaN时:Infinity#=>uninitializedconstantInfinity(NameError)NaN#=>uninitializedconstantNaN(NameError)什么是Infinity和NaN？它们是对象、关键字还是其他东西？ 最佳答案 您看到打印为Infinity和NaN的只是Float类的两个特殊实例的字符串

  9. ruby-on-rails - 如果 Object::try 被发送到一个 nil 对象，为什么它会起作用？ - 2

    如果您尝试在Ruby中的nil对象上调用方法，则会出现NoMethodError异常并显示消息:"undefinedmethod‘...’fornil:NilClass"然而，有一个tryRails中的方法，如果它被发送到一个nil对象，它只返回nil:require'rubygems'require'active_support/all'nil.try(:nonexisting_method)#noNoMethodErrorexceptionanymore那么try如何在内部工作以防止该异常？ 最佳答案 像Ruby中的所有其他对象

  10. ruby - 为什么 SecureRandom.uuid 创建一个唯一的字符串？ - 2

    关闭。这个问题需要detailsorclarity.它目前不接受答案。想改进这个问题吗？通过editingthispost添加细节并澄清问题.关闭8年前。Improvethisquestion为什么SecureRandom.uuid创建一个唯一的字符串？SecureRandom.uuid#=>"35cb4e30-54e1-49f9-b5ce-4134799eb2c0"SecureRandom.uuid方法创建的字符串从不重复？

随机推荐