@geelaw #9 以及 https://www.open-std.org/jtc1/sc22/wg21/docs/standards

@Attenton #8 参考

https://isocpp.org/std/the-standard
https://github.com/cplusplus/draft
https://www.open-std.org/jtc1/sc22/wg21/

n4849 § 32.5.3.2 没有定义 std::mutex 重入的情况，并且 § 32.5.3.2.1 提示

A program can deadlock if the thread that owns a mutex object calls lock() on that object. If the implementation can detect the deadlock, a resource_deadlock_would_occur error condition might be observed.

没有说必须死锁或者抛出异常。令 std::mutex 和 std::recursive_mutex 是一样的效果，是符合标准的。

@hez2010 #29 那结论是如果希望用旧方法指定泛型参数的话就要在编译到原生代码的时候提前把类型建立出来，类似于用 rd.xml 设置所有可能需要的值的方式。

@hez2010 #27 第一个场景确实（这个类似于匿名类型的情况），但我没有理解第二个场景（反射 const generics ）。

如果用反射为新的 T 调用 class G1<T> where T : struct { } 当然要现场生成代码。
用反射为新的 int 值调用 class G2<int t> { } 也需要现场生成新代码对不对？

理论解决方案是 verifiable computation 。

实际解决方案是相信或者不用。

一个小问题：此前我实现这种泛型的时候，都是直接把所有的常量都塞到一个 struct 里面，现阶段的 JIT 编译器不能成功优化吗？

public interface IConstants
{
public int V { get; }
}

public class G<T> where T : IConstants
{
public static void Run() { Console.WriteLine(default(T).V); }
}

public static class Program
{
struct C : IConstants { int IConstants.V { get { return 1; } } }
public static void Main() { G<C>.Run(); }
}

我感觉最简单的实现方式是把 const generics 弄成语法糖……？

针对追加的具体问题

struct Base { void print() { } };
struct Str : Base { Str(char const *s) { } };
struct Num : Base { Num(int v) { } };

Base log_deduce(Base obj) { return obj; }
Str log_deduce(Str obj) { return obj; }
Str log_deduce(char const *s) { return s; }
Num log_deduce(Num obj) { return obj; }
Num log_deduce(int v) { return v; }

template <typename... T>
void log_impl(T... args)
{
/* fold expression from C++17 */
((void)(args.print()), ...);
}

template <typename... T>
void log(T... args)
{
log_impl(log_deduce(args)...);
}

int main()
{
log("hello");
log(123);
log(123, "hello");
}

但我感觉楼主的提供的例子离真实用例很远。

楼主的代码明明是 log 可以接受任何可以 .print 的类型。提的需求也非常不明确。

你希望模板自动推断存在可以构造的 Base 的子类 T ，还是希望 T 就是参数本身的类型，然后 obj.print 改写为 T1{obj}.print()，其中 T1 是 Base 的某个子类并且可以被 obj 所构造？

另外，建议想清楚自己的问题，如果不是适合用模板解决的问题的话，会从一个小问题，变成一个报错非常长的问题。

我一直认为架设网站和分发软件是一种出版活动。悲伤的不是一件事情属于出版，而是权力对出版自由的干扰。

虽然不用 Linux ，但是可以尝试一下 psychic debugging 。

我的猜想是 sudo 启动的 su 会继承 sudo 的标准文件，而 su 启动的 shell 进程又会继承 su 的标准文件。因此第一次运行 echo ' ' | sudo -S su 的结果是 su 的标准输入是 echo 的标准输出，然后启动的 shell 的标准输入是 echo 的标准输出，此时 shell 认为标准输入是需要执行的命令，这是空的，因此直接结束了。

测试：echo 'echo 1' | bash 的结果是 1 ，并且回到了开始的 shell 进程。

楼主可以试试（注意第一行的结尾是单引号加上空格）

echo '
echo 1' | sudo --stdin su

是否会得到 1 并且回到开始的 shell 进程。（我并不知道 sudo 是否会读取多行密码……）

我感到很困惑：为什么楼里有些人看起来认为这是开源软件？楼主只说是免费软件，和开源软件是不相关的概念。

因为不存在对价，故不能期待技术支持。

已经 push 到托管服务的 commit ，客户通常难以控制何时删除——在 GitHub 里，即使 force push 之后某个 commit 已经不可达，使用 commit hash 依然可以访问未被删除的 commit （见 #3 的链接）。

最好的补救措施就是让错误提交的数据无意义。避免错误提交的方式，除了先写好 .gitignore 之外就是不要 git add .，而是复核修改之后再添加（我一般用 GUI 工具）。

如果你没有主动在 GoDaddy 操作说明你的账户被别人访问了。这个授权码一般在即将转出到另一个域名服务商的时候才请求，不想转的时候不需要也不应该知道，而且应该保持域名处于不可转移的锁定状态。