geelaw

@dangyuluo #4 我在 #5 的回复里误解了你的意思，实现 invoke_function 只是为了复现楼主一开始想要实现的版本。

@dangyuluo 因为可调用的东西不一定是 std::function ，还可以是 lambda 表达式、函数之类的。从 lambda 表达式、函数建立 std::function 有额外的内存分配，对性能不好。此外你也看到了 invoke_function 不能接受函数的名字，必须手工构造一个 std::function 。

更好的思路是检查这个东西是否可以赋值给 int ，用

std::is_same_v<
std::declval<int &>() = f(std::forward<TArgs>(args)..., std::declval<bool>()),
int &
>

这样也可以接受返回 const int &、int &、short 等的可调用的东西。

你可以用 SFINAE 的思路

#include<utility>
#include<functional>

template <typename TCallable, typename ...TArgs>
auto invoke_functor(TCallable &&f, TArgs&& ...args) -> std::enable_if_t<std::is_same_v<decltype(f(std::forward<TArgs>(args)..., std::declval<bool>())), int>, int>
{
int r0 = f(std::forward<TArgs>(args)..., false);
int r1 = f(std::forward<TArgs>(args)..., true);
return r0 + r1;
}

template <typename TCallable, typename ...TArgs>
auto invoke_function(const TCallable &f, TArgs&& ...args) -> std::enable_if_t<std::is_same_v<TCallable, std::function<int(TArgs..., bool)>>, int>
{
int r0 = f(std::forward<TArgs>(args)..., false);
int r1 = f(std::forward<TArgs>(args)..., true);
return r0 + r1;
}

int g(int a, int b, bool c)
{
return c ? a + b : a - b;
}

#include<iostream>

int main()
{
std::cout << invoke_functor(g, 2, 3) << std::endl;
std::cout << invoke_function(std::function<int(int, int, bool)>(g), 2, 3) << std::endl;
// Does not work.
// std::cout << invoke_function(g, 2, 3) << std::endl;
}

@wyfyw #4 任务栏固定应用是快速启动工具栏的进化替代功能，自然是和之前一脉相承的。另外这里只保存快捷方式，还有一些数据存在注册表里。

@DOLLOR #6 bingo 我记得这个应该是某种 COM/OLE 的魔法。

@thedrwu #2 IStorage 和 IStream 的噩梦，其实很多人天天都在用，例如 doc/ppt/xls/one 都是。

>我的问题是有没有可能制造一种类型系统在实际类型匹配的情况下自动地做这个类型断言

不能，因为判定“实际”类型是否匹配是不可计算问题（确切来说，否认“实际”类型匹配是不可识别问题）。如果只考虑有限定义域（因为实际的电脑是有限大小的内存之类的），确认“实际”类型匹配处于多项式层级的第二层并且是 Sigma_2 完备问题。

>多组模式之一
>使用()来表示一组模式
>
>/[(a-c)(e-g)]/
>匹配
>
>"a", "b", "c"
>"e", "f", "g"

这似乎是误解，在 [] 里面 () 没有特别的含义，/[(a-c)(e-g)]/ 恰好匹配 abcefg() 这 8 个字符里的任意一个，等同于 /[abcefg)(]/。

>扩展阅读
>正则表达式的定义

这里你应该让读者注意实用中的正则表达式和计算理论意义下的正则表达式是不同的，实用意义的正则表达式（例如 JavaScript ）的可以描述 non-regular language ，例如 /[01]*\1/ 所匹配的串的集合就不是 regular ，也不是 context-free 。再比如，零宽断言（包括 \b 等）也不能直接用计算理论意义下的正则表达式表达。

>正则表达式 R 是一种 language, P64

这是误解，正则表达式描述了一个 regular language ，但本身不是一个 language ，给定字母表的所有正则表达式的集合是另一个 language ，且后面这个 language 不是 regular 。

>JS 正则表达按照定义来看, 1-6 条可以分别对应
>2. /./对应任意字符
>3. //对应空

这是误解，2 (\varepsilon) 对应的是 //，它匹配长度为 0 的字符串，3 (\varnothing) 对应的是 /[]/，它不匹配任何字符串。

>正则表达式的局限性
>正则表达式只能处理有限的 context-free language
>像嵌套匹配的括号就没法用一个正则去描述
>是否是 context-free language 可以用 Pumping lemma 去判断

什么是“有限的 context-free language”？有限 language 都是 regular 。此外，pumping lemma 不能用来证明一个语言是 regular （可以用来证明一个语言不是 regular ）。

肯定是不能的，但如果 PayPal 通过了交易，你可能会被催收

@yin1999 #11 可是 Windows PowerShell “自带”的 curl 是 Invoke-WebRequest ，默认也是要用 IE 的（除非用 -UseBasicParsing 取消）。