草庐IT

c++ - boost::optional 不允许我重新分配 const 值类型

coder 2024-02-03 原文

在我看来应该有四个变体 boost::optional

  • optional<Foo> => 持有一个可变的 Foo 并且可以在初始化后重新分配

  • optional<Foo const> const => 持有一个 const Foo 并且不能在初始化后重新分配

  • optional<Foo> const =>(应该？)持有一个可变的 Foo 但不能在初始化后重新分配

  • optional<Foo const> =>(应该？)持有一个 const Foo 并且可以在初始化后重新分配

前 2 个案例按预期工作。但是 optional<Foo> const取消对 const Foo 的引用，以及 optional<Foo const>不允许在初始化后重新分配(如 this question 中所述)。

const 值类型的重新分配是我遇到的具体问题，错误是:

/usr/include/boost/optional/optional.hpp:486: error: passing ‘const Foo’ as ‘this’ argument of ‘Foo& Foo::operator=(const Foo&)’ discards qualifiers [-fpermissive]

它发生在这里:

void assign_value(argument_type val,is_not_reference_tag) { get_impl() = val; }

构造后，实现使用赋值运算符作为您参数化可选类型的类型。它显然不想要一个常量值的左侧操作数。但是为什么不能将非常量可选值重置为新的常量值，例如在这种情况下:

optional<Foo const> theFoo (maybeGetFoo());
while (someCondition) {

    // do some work involving calling some methods on theFoo
    // ...but they should only be const ones

    theFoo = maybeGetFoo();
}

一些问题:

  • 我是否认为想要这样做在概念上很好，而无法做到只是实现中的侥幸？

  • 如果我不编辑 boost 源，那么在不完全废弃 boost::optional 的情况下，有什么干净的方法可以像上面的循环那样实现逻辑？

  • 如果这确实有意义并且我要编辑 boost::optional 源(我已经必须这样做才能使它成为 support movable types ，尽管我怀疑他们很快就会自己这样做)那么哪些微创改变可能会奏效？

最佳答案

所以基本上问题似乎与 documentation 中的这条注释有关对于 optional& optional<T (not a ref)>::operator= ( T const& rhs ) :

Notes: If *this was initialized, T's assignment operator is used, otherwise, its copy-constructor is used.

也就是说，假设您有 boost::optional<const Foo> theFoo; .由于默认构造boost::optional<>为空，语句:

theFoo=defaultFoo;

应该表示“将构造 defaultFoo 复制到 theFoo 的内部存储中。”由于该内部存储中已经没有任何内容，所以这是有道理的，即使内部存储应该容纳一个 const Foo。 .完成后，theFoo不会为空。

一次theFoo包含一个值，语句

theFoo=defaultFoo;

应该表示“将 defaultFoo 分配给 theFoo 的内部存储中的对象。”但是theFoo s 内部存储不可分配(因为它是 const )，因此这应该引发(编译时？)错误。

不幸的是，您会注意到最后两个语句是相同的，但在概念上需要不同的编译时行为。不过，编译器无法分辨两者之间的区别。

特别是在您描述的场景中，定义 boost::optional<...> 可能更有意义的赋值运算符改为具有语义:

If *this was initialized, its current contents are first destroyed. Then T's copy-constructor is used.

毕竟，调用 T 是完全可能的的赋值运算符，如果这是你真正想做的，说 *theFoo = rhs .

关于c++ - boost::optional 不允许我重新分配 const 值类型，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/11459270/

ampoptionalcodeconstc++boostassignment-operatorconst-correctnessboost-optional

有关c++ - boost::optional 不允许我重新分配 const 值类型的更多相关文章

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

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

  2. ruby - 如何在续集中重新加载表模式？ - 2

    鉴于我有以下迁移:Sequel.migrationdoupdoalter_table:usersdoadd_column:is_admin,:default=>falseend#SequelrunsaDESCRIBEtablestatement,whenthemodelisloaded.#Atthispoint,itdoesnotknowthatusershaveais_adminflag.#Soitfails.@user=User.find(:email=>"admin@fancy-startup.example")@user.is_admin=true@user.save!ende

  3. Ruby Koans about_array_assignment - 非平行与平行分配歧视 - 2

    通过ruby​​koans.com，我在about_array_assignment.rb中遇到了这两段代码你怎么知道第一个是非并行赋值，第二个是一个变量的并行赋值？在我看来，除了命名差异之外，代码几乎完全相同。4deftest_non_parallel_assignment5names=["John","Smith"]6assert_equal["John","Smith"],names7end45deftest_parallel_assignment_with_one_variable46first_name,=["John","Smith"]47assert_equal'John

  4. ruby-on-rails - active_admin 目录中的常量警告重新声明 - 2

    我正在使用active_admin，我在Rails3应用程序的应用程序中有一个目录管理，其中包含模型和页面的声明。时不时地我也有一个类，当那个类有一个常量时，就像这样:classFooBAR="bar"end然后，我在每个必须在我的Rails应用程序中重新加载一些代码的请求中收到此警告:/Users/pupeno/helloworld/app/admin/billing.rb:12:warning:alreadyinitializedconstantBAR知道发生了什么以及如何避免这些警告吗？ 最佳答案 在纯Ruby中:classA

  5. 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类的两个特殊实例的字符串

  6. ruby - 检查方法参数的类型 - 2

    我不确定传递给方法的对象的类型是否正确。我可能会将一个字符串传递给一个只能处理整数的函数。某种运行时保证怎么样？我看不到比以下更好的选择:defsomeFixNumMangler(input)raise"wrongtype:integerrequired"unlessinput.class==FixNumother_stuffend有更好的选择吗？ 最佳答案 使用Kernel#Integer在使用之前转换输入的方法。当无法以任何合理的方式将输入转换为整数时，它将引发ArgumentError。defmy_method(number)

  7. ruby - Capistrano 3 在任务中更改 ssh_options - 2

    我尝试使用不同的ssh_options在同一阶段运行capistranov.3任务。我的production.rb说:set:stage,:productionset:user,'deploy'set:ssh_options,{user:'deploy'}通过此配置，capistrano与用户deploy连接，这对于其余的任务是正确的。但是我需要将它连接到服务器中配置良好的an_other_user以完成一项特定任务。然后我的食谱说:...taskswithoriginaluser...task:my_task_with_an_other_userdoset:user,'an_othe

  8. ruby-on-rails - rspec should have_select ('cars' , :options => ['volvo' , 'saab' ] 不工作 - 2

    关闭。这个问题需要detailsorclarity.它目前不接受答案。想改进这个问题吗？通过editingthispost添加细节并澄清问题.关闭8年前。Improvethisquestion在首页我有:汽车:VolvoSaabMercedesAudistatic_pages_spec.rb中的测试代码:it"shouldhavetherightselect"dovisithome_pathit{shouldhave_select('cars',:options=>['volvo','saab','mercedes','audi'])}end响应是rspec./spec/request

  9. ruby - Ruby 有 `Pair` 数据类型吗？ - 2

    有时我需要处理键/值数据。我不喜欢使用数组，因为它们在大小上没有限制(很容易不小心添加超过2个项目，而且您最终需要稍后验证大小)。此外，0和1的索引变成了魔数(MagicNumber)，并且在传达含义方面做得很差(“当我说0时，我的意思是head...”)。散列也不合适，因为可能会不小心添加额外的条目。我写了下面的类来解决这个问题:classPairattr_accessor:head,:taildefinitialize(h,t)@head,@tail=h,tendend它工作得很好并且解决了问题，但我很想知道:Ruby标准库是否已经带有这样一个类？ 最佳

  10. ruby-on-rails - RSpec:避免使用允许接收的任何实例 - 2

    我正在处理旧代码的一部分。beforedoallow_any_instance_of(SportRateManager).toreceive(:create).and_return(true)endRubocop错误如下:Avoidstubbingusing'allow_any_instance_of'我读到了RuboCop::RSpec:AnyInstance我试着像下面那样改变它。由此beforedoallow_any_instance_of(SportRateManager).toreceive(:create).and_return(true)end对此:let(:sport_

随机推荐