@geelaw #10 原来的问题：C++ 如何判断 ptr == objectA 这段代码的？

既然是未定义行为，编译器可以选择格式化你的硬盘，但大多数编译器并不会这样做。
在我转写的第一段代码里，比较可能发生的有两种：

1. 无事发生，直接进行数值的比较，因此 true 分支会运行。
2. 编译器意识到
(i) ptr 赋值获得的是新对象
(ii) objectA 在 ptr 赋值之后就没有再赋值过
于是意识到 objectA 和 ptr 在标准看来不可能同时有效地指向同一个对象，因此直接删除 if 的 true 分支，导致 true 分支不执行。

假设你的代码是

A *ptr = new A();
A *objectA = ptr;
ptr->~A();
ptr = new (ptr) B(); // 注意这里需要用 placement new
if (ptr == objectA) ptr->doSomething();

并且 B 是 A 的派生类，并且假设 struct B : A { /* 没有额外的成员 */ };

第一，我不知道 new (ptr) B() 是否是未定义行为，这需要翻阅标准。（适合于 A 的 storage 一定适合于 B 吗？）

第二，接下来比较 ptr 和 objectA 绝对是 undefined behavior ，因为 objectA 最后一次赋值的时候指向的对象已经不存在了，所以 objectA 不是有效的指针——这件事情和原来的 storage 上面现在有没有 B 类型的对象、B 是不是 A 的子类没有任何关系。

让我来写一个正确的版本：

char alignas(B) storage[sizeof(B)];
A *ptr = new (storage) A();
A *objectA = ptr;

ptr->~A();
ptr = new (ptr) B();

objectA = std::launder(objectA); // 这一步非常重要

if (objectA == ptr) ptr->doSomething(); /* if 的 true 分支会运行 */

Google 的操作很迷惑，5.13 宣布了新 tld ，6.15 宣布了出售业务。

@Myprajna #4 应该说是 Windows 95 而不是 Windows 2000 。

另外那个旧风格的打开文件对话框是因为 ODBC 驱动规定的是 Windows 3.1 风格对话框的钩子，如果该用新版则会导致许多过去的数据库程序无法运行。当然图标换一换还是可以的。

@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 是否会读取多行密码……）

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

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