草庐IT

c++ - 枚举和指向成员的指针

coder 2023-11-13 原文

我最近尝试创建一个 is_class 类，并且需要一种方法让编译器区分枚举类型和定义了转换运算符的类类型。鉴于类、结构和 union 是唯一与指向成员函数的指针兼容的类型，我决定让编译器确定用于实例化 is_class 模板的类型是否反过来兼容带有指向成员函数的指针。在遇到几个问题后，我决定测试枚举与指向成员的指针结合使用时的行为，并得到了一些古怪的结果。以下片段说明了第一个怪癖:

enum ENUM {};
void Test(void (ENUM::*pmem) (void))
{
    /* ... */
}
Test(NULL);

当使用 Microsoft Visual C++ 2010 编译时，函数定义的成员指针部分:(ENUM::*pmem)

以红色突出显示，将鼠标悬停在声明上会显示错误:

错误:“ENUM”不是类类型

但是，编译器解析该段时没有遇到任何错误，将 pmem 分配给 NULL。令我感兴趣的是，编译器允许将此视为枚举类型不是类、结构或 union ，因此不能拥有自己的方法。

第二个兴趣点出现在创建模板函数时，采用类型不同的指向成员的参数:

template<class _Ty>
void Test_Template(void (_Ty::*pmem) (void))
{
    /* ... */
}

当然要使用这个函数，必须明确限定:

Test_Template<ENUM>(NULL);

然而，这个调用会产生一个错误说明:

'void Test(void (__thiscall _Ty::* )(void))' 的显式模板参数无效

我通过创建一个额外的函数模板解决了这个问题，该模板的原型(prototype)将匹配任何未能匹配前一个模板函数(涉及使用省略号)的原型(prototype)的调用。

问题:

  1. 为什么枚举与指向成员的指针兼容？

  2. 为什么在调用非模板Test函数时存在精确匹配，而编译器对模板Test_Template显式限定产生错误？

最佳答案

关于您的第一个问题，编译器似乎确实在报告枚举不能有成员函数，因为编译器在函数声明上报告错误。它可能通过在内部尝试尽可能多地更正错误的声明来让调用成功，在这种情况下，这意味着注意到您正在尝试声明类似指针的东西并允许调用。没有要求编译器在该行给你一个错误；由于程序是 Ill-formed，只要编译器通过诊断拒绝程序，它就不需要在任何地方都给出错误。

至于您的第二个问题，使用第二个模板使错误消失的原因是 "substitution failure is not an error" (SFINAE) principle .当编译器用一些类型参数实例化一个函数模板时，如果它发现一个特定的函数实例化是无效的(例如，试图获得一个指向枚举成员的指针)，它不会报告错误。相反，它只是从考虑中删除该模板。但是，如果您编写的模板在使用给定参数实例化时均无效，则编译器将发出 am 错误，因为它无法找到与您尝试执行的操作匹配的模板。在第一种情况下，当您只有一个模板时，会发生错误，因为 SFINAE 将唯一的候选模板排除在考虑之外，导致模板实例化没有匹配的模板。在第二种情况下，您的“包罗万象”模板在实例化模板后仍然有效，因此虽然排除了采用指向成员的指针的模板，但仍然有一个合法的模板可以引用。因此，代码非常好。

关于c++ - 枚举和指向成员的指针，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/5206499/

amp43codesection的c++pointersenumerationmember

有关c++ - 枚举和指向成员的指针的更多相关文章

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

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

  2. ruby-on-rails - Rails 模型——非持久类成员或属性？ - 2

    对于Rails模型，是否可以/建议让一个类的成员不持久保存到数据库中？我想将用户最后选择的类型存储在session变量中。由于我无法从我的模型中设置session变量，我想将值存储在一个“虚拟”类成员中，该成员只是将值传递回Controller。你能有这样的类(class)成员吗？ 最佳答案 将非持久属性添加到Rails模型就像任何其他Ruby类一样:classUser扩展解释:在Ruby中，所有实例变量都是私有(private)的，不需要在赋值前定义。attr_accessor创建一个setter和getter方法:classUs

  3. ruby - 使用 `+=` 和 `send` 方法 - 2

    如何将send与+=一起使用？a=20;a.send"+=",10undefinedmethod`+='for20:Fixnuma=20;a+=10=>30 最佳答案 恐怕你不能。+=不是方法，而是语法糖。参见http://www.ruby-doc.org/docs/ProgrammingRuby/html/tut_expressions.html它说Incommonwithmanyotherlanguages,Rubyhasasyntacticshortcut:a=a+2maybewrittenasa+=2.你能做的最好的事情是:

  4. ruby - 如何计算 Liquid 中的变量 +1 - 2

    我对如何计算通过{%assignvar=0%}赋值的变量加一完全感到困惑。这应该是最简单的任务。到目前为止，这是我尝试过的:{%assignamount=0%}{%forvariantinproduct.variants%}{%assignamount=amount+1%}{%endfor%}Amount:{{amount}}结果总是0。也许我忽略了一些明显的东西。也许有更好的方法。我想要存档的只是获取运行的迭代次数。 最佳答案 因为{{incrementamount}}将输出您的变量值并且不会影响{%assign%}定义的变量，我

  5. arrays - Ruby 数组 += vs 推送 - 2

    我有一个数组数组，想将元素附加到子数组。+=做我想做的，但我想了解为什么push不做。我期望的行为(并与+=一起工作):b=Array.new(3,[])b[0]+=["apple"]b[1]+=["orange"]b[2]+=["frog"]b=>[["苹果"],["橙子"],["Frog"]]通过推送，我将推送的元素附加到每个子数组(为什么？):a=Array.new(3,[])a[0].push("apple")a[1].push("orange")a[2].push("frog")a=>[[“苹果”、“橙子”、“Frog”]、[“苹果”、“橙子”、“Frog”]、[“苹果”、“

  6. ruby - 引用具有指定索引的枚举器值 - 2

    假设我有一个可枚举对象enum，现在我想获取第三个项目。我知道一种通用方法是转换成数组，然后使用索引访问，如:enum.to_a[2]但这种方式会创建一个临时数组，效率可能很低。现在我使用:enum.each_with_index{|v,i|breakvifi==2}但这非常丑陋和多余。执行此操作最有效的方法是什么？ 最佳答案 你可以使用take剥离前三个元素，然后剥离last从take给你的数组中获取第三个元素:third=enum.take(3).last如果您根本不想生成任何数组，那么也许:#Ifenumisn'tanEnum

  7. += 的 Ruby 方法 - 2

    有没有办法让Ruby能够做这样的事情？classPlane@moved=0@x=0defx+=(v)#thisiserror@x+=v@moved+=1enddefto_s"moved#{@moved}times,currentxis#{@x}"endendplane=Plane.newplane.x+=5plane.x+=10putsplane.to_s#moved2times,currentxis15 最佳答案 您不能在Ruby中覆盖复合赋值运算符。任务在内部处理。您应该覆盖+，而不是+=。plane.a+=b与plane.a=

  8. ruby-on-rails - Ruby on Rails，使用同名枚举的问题 - 2

    以下是我认为的一些下拉列表:'form-control')%>和'form-control')%>这是我的application_helper.rbdefget_advance_bookingret=[{:require_booking=>'No'},{:require_booking=>'Yes'}]enddefget_instant_bookingret=[{:instant_booking=>'No'},{:instant_booking=>'Yes'}]end但现在的问题是，在我的模型product.rb中，我无法设置具有相同名称的枚举:classProduct我收到的错误是您

  9. ruby 变量作为同一对象(指针？) - 2

    >>a=5=>5>>b=a=>5>>b=4=>4>>a=>5如何将“b”设置为实际的“a”，以便在示例中，变量a也将变为4。谢谢。 最佳答案 classRefdefinitializeval@val=valendattr_accessor:valdefto_s@val.to_sendenda=Ref.new(4)b=aputsa#=>4putsb#=>4a.val=5putsa#=>5putsb#=>5当您执行b=a时，b指向与a相同的对象(它们具有相同的object_id).当你执行a=some_other_thing时，a将指向

  10. ruby - Sinatra + Heroku + Datamapper 使用 dm-sqlite-adapter 部署问题 - 2

    出于某种原因，heroku尝试要求dm-sqlite-adapter，即使它应该在这里使用Postgres。请注意，这发生在我打开任何URL时-而不是在gitpush本身期间。我构建了一个默认的Facebook应用程序。gem文件:source:gemcuttergem"foreman"gem"sinatra"gem"mogli"gem"json"gem"httparty"gem"thin"gem"data_mapper"gem"heroku"group:productiondogem"pg"gem"dm-postgres-adapter"endgroup:development,:t

随机推荐