最新消息:雨落星辰是一个专注网站SEO优化、网站SEO诊断、搜索引擎研究、网络营销推广、网站策划运营及站长类的自媒体原创博客

c++ - Casting a container of Derived to container of Base - Stack Overflow

programmeradmin1浏览0评论

We have classes A and B that look like

struct A {
   int x;
   auto display() const noexcept -> void { /* displaying */ }
};

struct B final : A {
    /* no added members */
    auto foo() const noexcept -> void { ... }
};

With a function

auto display_all_as(std::span<A const> as) noexcept -> void {
    for (auto const a : as)
        a.display()
}

We can call this function like

auto constexpr a_arr = std::array<A, 3>{};
display_all_as(a_arr);

but if we try and call it in the following way it doesn't work

auto constexpr b_arr = std::array<B, 3>{};
display_all_as(b_arr); // error: no known conversion from array<B,3> to array<A,3>

I have gotten the code to work by changing the function to

template <class T>
   requires std::ranges::range<T> and std::is_convertible_v<typename T::value_type, a>
auto constexpr display_all_as(T as) noexcept -> void {
    for (auto const a : as)
        a.display();
}

After looking at [[]]. But obviously it requires that the container type implements value_type, which may not be the case if you're using custom containers. Additionally looking at the assembly output from clang++ main.cpp -std=c++20 -O3 -S (with clang++ version 19.1.7), it generates two ostensibly identical functions, one specialized to A and the other specialized to B. I'm trying to have the same/ a similar API, but I would like a more optimized and general way, i.e. not having two pieces of assembly being output. I'm not entirely sure it's possible, I know you can't just convert array<child> -> array<parent> because it would lead to object splicing issues, but in this case B doesn't add any members to A so it seems like we should be able to convert array<B> -> array<A>.

发布评论

评论列表(0)

  1. 暂无评论
ok 不同模板 switch ($forum['model']) { /*case '0': include _include(APP_PATH . 'view/htm/read.htm'); break;*/ default: include _include(theme_load('read', $fid)); break; } } break; case '10': // 主题外链 / thread external link http_location(htmlspecialchars_decode(trim($thread['description']))); break; case '11': // 单页 / single page $attachlist = array(); $imagelist = array(); $thread['filelist'] = array(); $threadlist = NULL; $thread['files'] > 0 and list($attachlist, $imagelist, $thread['filelist']) = well_attach_find_by_tid($tid); $data = data_read_cache($tid); empty($data) and message(-1, lang('data_malformation')); $tidlist = $forum['threads'] ? page_find_by_fid($fid, $page, $pagesize) : NULL; if ($tidlist) { $tidarr = arrlist_values($tidlist, 'tid'); $threadlist = well_thread_find($tidarr, $pagesize); // 按之前tidlist排序 $threadlist = array2_sort_key($threadlist, $tidlist, 'tid'); } $allowpost = forum_access_user($fid, $gid, 'allowpost'); $allowupdate = forum_access_mod($fid, $gid, 'allowupdate'); $allowdelete = forum_access_mod($fid, $gid, 'allowdelete'); $access = array('allowpost' => $allowpost, 'allowupdate' => $allowupdate, 'allowdelete' => $allowdelete); $header['title'] = $thread['subject']; $header['mobile_link'] = $thread['url']; $header['keywords'] = $thread['keyword'] ? $thread['keyword'] : $thread['subject']; $header['description'] = $thread['description'] ? $thread['description'] : $thread['brief']; $_SESSION['fid'] = $fid; if ($ajax) { empty($conf['api_on']) and message(0, lang('closed')); $apilist['header'] = $header; $apilist['extra'] = $extra; $apilist['access'] = $access; $apilist['thread'] = well_thread_safe_info($thread); $apilist['thread_data'] = $data; $apilist['forum'] = $forum; $apilist['imagelist'] = $imagelist; $apilist['filelist'] = $thread['filelist']; $apilist['threadlist'] = $threadlist; message(0, $apilist); } else { include _include(theme_load('single_page', $fid)); } break; default: message(-1, lang('data_malformation')); break; } ?>