- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
typename FindPacksToMerge<P<Packs...>, P<Ts...>>::type
是P<As...>
这样 As...
是来自 Packs...
的一系列包(可能有重复)和
std::is_same< typename concat<As...>::type, P<Ts...> >::value == true
例如,
std::cout << std::is_same<
FindPacksToMerge< P< P<int, char, long>, P<int>, P<double, bool>, P<bool, char, int> >, P<int, bool, char, int, int, double, bool> >::type,
P< P<int>, P<bool, char, int>, P<int>, P<double, bool> >
>::value << '\n';
应该输出 true。现在让我们满足于得到任何答案,以防有多个答案。
我已经编写了相关的辅助结构(concat
合并任意数量的包,split<N, Pack>
拆分一个包以便获得具有 N 种类型的头部和尾部,pack_size
给出类型的数量在包中):
template <typename T> struct Identity { using type = T; };
template <typename...> struct concat;
template <template <typename...> class P, typename... Ts, typename... Us>
struct concat<P<Ts...>, P<Us...>> {
using type = P<Ts..., Us...>;
};
template <typename Pack>
struct concat<Pack> : Identity<Pack> {};
template <typename Pack1, typename Pack2, typename... Packs>
struct concat<Pack1, Pack2, Packs...> {
using type = typename concat<Pack1, typename concat<Pack2, Packs...>::type>::type;
};
template <std::size_t N, typename Intput, typename... Output> struct split;
template <std::size_t N, template <typename...> class P, typename First, typename... Rest, typename... Output>
struct split<N, P<First, Rest...>, Output...> : split<N-1, P<Rest...>, Output..., First> {};
template <template <typename...> class P, typename First, typename... Rest, typename... Output>
struct split<0, P<First, Rest...>, Output...> {
using head = P<Output...>;
using tail = P<First, Rest...>;
};
template <template <typename...> class P, typename... Output>
struct split<0, P<>, Output...> {
using head = P<Output...>;
using tail = P<>;
};
template <typename Pack> struct pack_size;
template <template <typename...> class P, typename... Ts>
struct pack_size<P<Ts...>> : std::integral_constant<std::size_t, sizeof...(Ts)> {};
但问题是递归。假设在 P<Packs...>
中的类型中,我们正在测试类型 Pack
.如果split<pack_size<Pack>::value, P<Ts...>>::head
火柴Pack
, 然后用 split<pack_size<Pack>::value, P<Ts...>>::tail
重复搜索(从 P<Packs...>
中的第一个包开始搜索)。我们一路将所有找到的包存储在一个输出包中。当我们接近 P<Ts...>
的末尾时并发现剩余的尾部比P<Packs...>
中最短的尾部更短或相等, 并且不匹配 P<Packs...>
中的任何包, 那么沿着这条线的搜索就失败了。因此,我们必须重新开始搜索。但从哪里来?从最后一次尝试的包开始(我们现在必须尝试之后的包)。而如果之后的所有狼群也都没有给出答案,那我们就得再退一步,可是那又在哪里呢?这是一个树遍历,但如何记住我们在任何几代人之后都停止了?或者也许有更好的方法?尝试合并来自 P<Packs...>
的所有可能组合直到匹配 P<Ts...>
不可能是一个可行的解决方案。
这是我目前正在处理的模板特化,需要修复。我感觉我无法解决的问题很短。
template <typename PackOfPacks, typename Untried, typename Output, typename Match> struct FindPacksToMergeHelper;
template <typename PackOfPacks, template <typename...> class P, typename First, typename... Rest, typename... Output, typename Match>
struct FindPacksToMergeHelper<PackOfPacks, P<First, Rest...>, P<Output...>, Match> : std::conditional_t<
pack_size<Match>::value < pack_size<First>::value,
FindPacksToMergeHelper<PackOfPacks, P<Rest...>, P<Output...>, Match>, // Move on to the next of the untried packs.
std::conditional_t<
std::is_same<First, Match>::value,
Identity<P<Output..., First>>, // Answer found.
std::conditional_t<
std::is_same<First, typename split<pack_size<First>::value, Match>::head>::value, // Check if the head of Match is the same as First.
FindPacksToMergeHelper<PackOfPacks, PackOfPacks, P<Output..., First>, typename split<pack_size<First>::value, Match>::tail>, // Try with the tail now, starting back at the first type in PackOfPacks.
FindPacksToMergeHelper<PackOfPacks, P<Rest...>, P<Output...>, Match> // Move on to the next of the untried packs.
>
>
> {};
最佳答案
一包:
template<class... > class pack {};
通过谓词过滤一组类型:
template<class, class Pred> struct filter;
template<class... Ts, class F>
struct filter<pack<Ts...>, F>
{
using type = typename concat<std::conditional_t<F::template apply<Ts>::value,
pack<Ts>,
pack<>>...>::type;
};
“U 是 T 的前缀”的谓词:
template<class T>
struct is_prefix_of
{
template<class U, bool = pack_size<T>::value >= pack_size<U>::value>
struct apply;
template<class U>
struct apply<U, true>
: std::is_same<U, typename split<pack_size<U>::value, T>::head> { };
template<class U>
struct apply<U, false> : std::false_type {};
};
用于指示失败的标记类型:
struct fail;
野兽:
template<class Packs, class Pack,
class Current = typename filter<Packs, is_prefix_of<Pack>>::type>
struct find_packs_to_merge;
template<class Packs, class Pack, class First, class... Rest>
struct find_packs_to_merge<Packs, Pack, pack<First, Rest...>>
{
// Get the remainder of the pack we still need to work on
using Remaining = typename split<pack_size<First>::value, Pack>::tail;
// search for the packs needed for the tail
using PR = typename find_packs_to_merge<Packs, Remaining>::type;
// on failure, try the next pack
// on success, concat First to PR and we are done.
// Note the short circuiting.
using type = typename std::conditional_t<std::is_same<fail, PR>::value,
find_packs_to_merge<Packs, Pack, pack<Rest...>>,
concat<pack<First>, PR>>::type;
};
template<class Packs, class Pack>
struct find_packs_to_merge<Packs, Pack, pack<>>
{
// we tried everything and nothing works.
using type = fail;
};
template<class Packs>
struct find_packs_to_merge<Packs, pack<>, pack<>>
{
// Success - we've used up the pack.
using type = pack<>;
};
关于c++ - 查找要合并的一组包以等于给定的包,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/36535061/
我在 GlassFish (J2EE_1.4) 上的 NetBeans 中开发企业项目。我的项目中有一些实体 bean、一些 session bean 和消息驱动 bean。我以如下方式使用 serv
什么在速度方面更好...... 我正在尝试确定用户是否已将某个 URL 添加到他们的快捷方式列表中。如果他们添加了 URL,页面上就会有一个链接,用于从快捷方式中删除该页面,否则他们可以将其添加到快捷
我的问题如下: 我打开一个Excel-File,但我不知道我的客户在模板文件中使用了哪些可能的标头变量。它们可以是:#DATE,#TIME,#NAME等。因此,我需要查找这些变量,以及是否已使用过:替
我有一堆以“-e”结尾的文件要删除。 $ find . -name "*-e" exec rm {} \; find: exec: unknown primary or operator 正则表达式是
我有一个简单的问题:是否可以在 TypeScript 中获取联合的一部分的类型? 例如,您可以经常使用如下查找类型: interface Person { name: string; } type
我正在尝试设置 Point Cloud Library启用 CUDA 选项的主干构建。 我相信我已经按照 these instructions 正确安装了 CUDA . 在 PCL 构建的 cmake
我将首先说我所知道的唯一 VBA 是操作录制的宏的反复试验。我是一名注册会计师,试图以艰难的方式学习 VBA(并希望我去学校学习计算机编程!)。 我有带有多个工作表的大型工作簿。 G 列中以黄色突出显
当文件数达到阈值时,我试图删除目录中最旧的文件。 list_of_files = os.listdir('log') if len([name for name in list_of_files
我有一个数组,它有一些重复的值。 我必须计算每个重复项的数量及其索引。 打印如: Index of b: 1 Index of b: 4 Index of c: 2 Index of c: 3 Ind
我已经搜索了我的问题的解决方案,但没有成功。热键 ctrl+F 找到的 eclipse 查找/替换功能不起作用。注意:通过 Eclipse 菜单 Edit>Find Replace(不工作我的意思是
我想检查 div 是否包含类为“error”的子级,但条件是错误类显示不等于无。 (意味着错误类必须可见。 如何更改我的以下代码: $(".related_field").each(function
这个问题已经有答案了: 已关闭13 年前。 Possible Duplicate: Can jQuery provide the tag name? 嗨! 这个问题太基础了,我不好意思问,但我尝试了
我一直听说这是 cygwin 的路径问题。它阻止了 emacs 在我的 cygwin 中工作。当我在 cli(不是 bash/cygwin)上执行 find 时,无论我输入什么,我都会得到同样的错误。
我正在使用此变量来获取一个或多个与我需要的值相匹配的值。 var mail = $("#dat").contents().find("td:contains('" + name + "')" ).si
请原谅这个长问题。我只是不确定解决这个问题的最佳方法是什么。 我有一个电子表格(Google 表格),其中包含用户和地址列表,我需要从中创建邮寄标签。该电子表格是从我们的学生信息系统导出的。这些地址应
我正在 Excel VBA 中创建一个公式,以解析单元格中以逗号分隔的“部分”列表。在另一个工作表中查找具有该零件名称的单元格,然后使用找到的该单元格的地址来获取同一行不同列的零件成本。我为此工作了数
我被要求在网络应用程序上实现一些电子邮件地址验证 - 我确信我们都已经经历过一千次了...但是,这一次我被要求在域上进行 MX 查找查看它是否接受电子邮件。 有人知道这样做有任何潜在的问题吗? mx
我有一个切换按钮,可读取.wave文件,并且字符串更改为暂停,然后..... 我的问题是,当用户播放声音时,按钮字符串更改为暂停,结束声音后,该字符串仍为暂停状态,我想将其更改为播放。但是我不知道如何
对于令人困惑的标题提前表示歉意。我的问题如下,我在大约 600 个文件中有以下文本: $_REQUEST['FOO'] 我想将其替换为以下内容: $this->input->post('FOO') 为
我正在使用 Ansible 的查找功能查找 INI 文件中的值。这是文档中的示例: - debug: msg="User in integration is {{ lookup('ini', 'use
我是一名优秀的程序员,十分优秀!