c++ - 避免将转换运算符中的拷贝复制到基类的子集

coder 2024-02-25 原文

首先:你会大喊“XY problem!”你会是对的，但现在我想看看是否有一个很好的解决方案来解决这个特定的 Y 来判断/最小化它与这个(大)X 的其他 Y 相比的妥协。

考虑以下可变参数模板类，它继承自所有模板参数并为其中的一个子集提供转换运算符:

template <typename... Ts>
struct derived : Ts...
{
    template<class... SubTs>
    operator const derived<SubTs...>()
    {
        return { static_cast<SubTs>(*this)... };
    }
};

这允许你做这样的事情:

struct A { int a; };
struct B { double b; };
struct C { std::unique_ptr<int> c; };

using ABC = derived<A, B, C>;

int foo(const derived<A, B>& in)
{
    return in.a + in.b;
}

int test()
{
    ABC abc{ {1}, {3.0}, {std::make_unique<int>(4)}};
    return foo(x);
}

虽然转换确实创建了一个临时拷贝以传递给函数。所以您不能执行以下操作，因为 unique_ptr无法复制:

int bar(const derived<A, C>& in)
{
    return in.a + *in.c;
}

int test()
{
    ABC abc { {1}, {3.0}, {std::make_unique<int>(4)}};
    return bar(x);
}

在线代码:https://godbolt.org/z/KBoBDl

是否有解决方案:

我可以传递一个不可复制的 derived (当然不会放弃所有权)。
我不必指定 A 中的哪一个 |/B/C in 的给定成员来自(没有in.get<A>().a)。 “使用组合而不是继承”也不是解决方案^†。换句话说，in.a 的语义(in->a 也可以)应该保留。
foo 的函数参数和 bar在单个可变参数模板列表中拼出它们主体中可用的子类型(不一定必须在 derived 中，尽管我觉得之前的要求强制这样做)。如果我不提 B那么函数不应该访问 B的成员(即使传入的 derived 包含 B )。

改变 foo/bar成为模板函数将是一个挫折，但可以接受。注意 template<class T> int foo(T in) (并删除转换运算符)违反了最后一个要求。另请注意，我使用的是 C++17，因此没有概念。

理想情况下，我会想象函数签名看起来像 int bar(derived_view<A, C> in)但我看不出如何将其与所有要求统一起来。欢迎提供部分想法/解决方案，也许有帮助。

^{^† derived 是我在可变作曲方面的最佳表现，A/B/C已经都是包装器结构了。这就是为什么不应该有任何进一步的间接访问实际数据的原因。}

是的，我知道，“这听起来像是带有额外步骤的普通函数参数!”，但我有很多 foo和 bar需要数十个不同的子集 A/B/C等结构，每一个建筑更多这样的结构。普通函数参数是探索的现状，并不是令人满意的解决方案。

最佳答案

如果我们将 derived_view 限制为“只能用作函数参数”，那么将任何使用过的参数从传递的 derived(或 derived_view) 在其构造函数中并将它们移回到析构函数中:

template <typename... Ts>
struct derived_view : Ts...
{
    template<class... SubTs>
    derived_view(derived<SubTs...>& original)
      : Ts(static_cast<Ts&&>(original))...
    {
        _restoreOriginal = [&](){
            ((static_cast<Ts&>(original) = static_cast<Ts&&>(*this)), ...);
        };
    }

    // Also allow construction from another derived_view
    template<class... SubTs>
    derived_view(derived_view<SubTs...>& original)
      : Ts(static_cast<Ts&&>(original))...
    {
        _restoreOriginal = [&](){
            ((static_cast<Ts&>(original) = static_cast<Ts&&>(*this)), ...);
        };
    }

    ~derived_view()
    {
        _restoreOriginal();
    }

private:
    std::function<void()> _restoreOriginal;
};

演示:https://wandbox.org/permlink/CVkmZc7AXSkTiJZx

如果有人想使用 derived_view 并访问 derived(或 derived_view)同时。将其交到其他用户手中(这是这里的计划)迟早会导致灾难...

关于c++ - 避免将转换运算符中的拷贝复制到基类的子集，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/55632825/

有关c++ - 避免将转换运算符中的拷贝复制到基类的子集的更多相关文章

ruby - 如何从 ruby 中的字符串运行任意对象方法？ - 2
总的来说，我对ruby还比较陌生，我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础，我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用
ruby - 其他文件中的 Rake 任务 - 2
我试图在一个项目中使用rake，如果我把所有东西都放到Rakefile中，它会很大并且很难读取/找到东西，所以我试着将每个命名空间放在lib/rake中它自己的文件中，我添加了这个到我的rake文件的顶部:Dir['#{File.dirname(__FILE__)}/lib/rake/*.rake'].map{|f|requiref}它加载文件没问题，但没有任务。我现在只有一个.rake文件作为测试，名为“servers.rake”，它看起来像这样:namespace:serverdotask:testdoputs"test"endend所以当我运行rakeserver:testid时
ruby-on-rails - 在 Rails 中将文件大小字符串转换为等效千字节 - 2
我的目标是转换表单输入，例如“100兆字节”或“1GB”，并将其转换为我可以存储在数据库中的文件大小(以千字节为单位)。目前，我有这个:defquota_convert@regex=/([0-9]+)(.*)s/@sizes=%w{kilobytemegabytegigabyte}m=self.quota.match(@regex)if@sizes.include?m[2]eval("self.quota=#{m[1]}.#{m[2]}")endend这有效，但前提是输入是倍数(“gigabytes”，而不是“gigabyte”)并且由于使用了eval看起来疯狂不安全。所以，功能正常，
ruby-on-rails - Ruby net/ldap 模块中的内存泄漏 - 2
作为我的Rails应用程序的一部分，我编写了一个小导入程序，它从我们的LDAP系统中吸取数据并将其塞入一个用户表中。不幸的是，与LDAP相关的代码在遍历我们的32K用户时泄漏了大量内存，我一直无法弄清楚如何解决这个问题。这个问题似乎在某种程度上与LDAP库有关，因为当我删除对LDAP内容的调用时，内存使用情况会很好地稳定下来。此外，不断增加的对象是Net::BER::BerIdentifiedString和Net::BER::BerIdentifiedArray，它们都是LDAP库的一部分。当我运行导入时，内存使用量最终达到超过1GB的峰值。如果问题存在，我需要找到一些方法来更正我的代
ruby-on-rails - Rails 3 中的多个路由文件 - 2
Rails2.3可以选择随时使用RouteSet#add_configuration_file添加更多路由。是否可以在Rails3项目中做同样的事情？最佳答案在config/application.rb中:config.paths.config.routes在Rails3.2(也可能是Rails3.1)中，使用:config.paths["config/routes"] 关于ruby-on-rails-Rails3中的多个路由文件，我们在StackOverflow上找到一个类似的问题
ruby - 使用 ruby 将 HTML 转换为纯文本并维护结构/格式 - 2
我想将html转换为纯文本。不过，我不想只删除标签，我想智能地保留尽可能多的格式。为插入换行符标签，检测段落并格式化它们等。输入非常简单，通常是格式良好的html(不是整个文档，只是一堆内容，通常没有anchor或图像)。我可以将几个正则表达式放在一起，让我达到80%，但我认为可能有一些现有的解决方案更智能。最佳答案首先，不要尝试为此使用正则表达式。很有可能你会想出一个脆弱/脆弱的解决方案，它会随着HTML的变化而崩溃，或者很难管理和维护。您可以使用Nokogiri快速解析HTML并提取文本:require'nokogiri'h
ruby - 将数组的内容转换为 int - 2
我需要读入一个包含数字列表的文件。此代码读取文件并将其放入二维数组中。现在我需要获取数组中所有数字的平均值，但我需要将数组的内容更改为int。有什么想法可以将to_i方法放在哪里吗？ClassTerraindefinitializefile_name@input=IO.readlines(file_name)#readinfile@size=@input[0].to_i@land=[@size]x=1whilex 最佳答案只需将数组映射为整数:@land边注如果你想得到一条线的平均值，你可以这样做:values=@input[x]
ruby-on-rails - Rails - 一个 View 中的多个模型 - 2
我需要从一个View访问多个模型。以前，我的links_controller仅用于提供以不同方式排序的链接资源。现在我想包括一个部分(我假设)显示按分数排序的顶级用户(@users=User.all.sort_by(&:score))我知道我可以将此代码插入每个链接操作并从View访问它，但这似乎不是“ruby方式”，我将需要在不久的将来访问更多模型。这可能会变得很脏，是否有针对这种情况的任何技术？注意事项:我认为我的应用程序正朝着单一格式和动态页面内容的方向发展，本质上是一个典型的网络应用程序。我知道before_filter但考虑到我希望应用程序进入的方向，这似乎很麻烦。最终从任何
ruby - 将散列转换为嵌套散列 - 2
这道题是thisquestion的逆题.给定一个散列，每个键都有一个数组，例如{[:a,:b,:c]=>1,[:a,:b,:d]=>2,[:a,:e]=>3,[:f]=>4,}将其转换为嵌套哈希的最佳方法是什么{:a=>{:b=>{:c=>1,:d=>2},:e=>3,},:f=>4,} 最佳答案这是一个迭代的解决方案，递归的解决方案留给读者作为练习:defconvert(h={})ret={}h.eachdo|k,v|node=retk[0..-2].each{|x|node[x]||={};node=node[x]}node[
ruby-on-rails - Rails 3.2.1 中 ActionMailer 中的未定义方法 'default_content_type=' - 2
我在我的项目中添加了一个系统来重置用户密码并通过电子邮件将密码发送给他，以防他忘记密码。昨天它运行良好(当我实现它时)。当我今天尝试启动服务器时，出现以下错误。=>BootingWEBrick=>Rails3.2.1applicationstartingindevelopmentonhttp://0.0.0.0:3000=>Callwith-dtodetach=>Ctrl-CtoshutdownserverExiting/Users/vinayshenoy/.rvm/gems/ruby-1.9.3-p0/gems/actionmailer-3.2.1/lib/action_mailer

c++ - 避免将转换运算符中的拷贝复制到基类的子集

有关c++ - 避免将转换运算符中的拷贝复制到基类的子集的更多相关文章

随机推荐