C ++标准中的“授权”条件是否总是会导致错误?

问题描述

C ++标准草案使用短语“任务”列出了对库函数的一些要求。例如,[util.smartptr.shared.cast]谈到std::static_pointer_cast

template<class T,class U>
shared_ptr<T> static_pointer_cast(const shared_ptr<U>& r) noexcept;

[...]

任务:表达式static_­cast<T*>((U*)nullptr)格式正确。

如果不满足此条件,编译器是否需要给出错误(例如,如果TcharUint)还是只是不确定的行为? [structure.sepcifications] defines“要求”条件为渲染程序ill-formed(如果不满足),但是我不清楚这是否会导致错误

解决方法

暂无找到可以解决该程序问题的有效方法,小编努力寻找整理中!

如果你已经找到好的解决方法,欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@)