小赖子的英国生活和资讯

C++ 一直在不断增加新特性，以便程序员能够区分在编译时运行的代码和在运行时执行的代码。其中两个重要工具是函数 std::is_constant_evaluated()（C++20）和语言级别的 if consteval（C++23）。本文将解释这两者，展示实际示例，比较它们的保证和权衡，并建议在何时使用各自的方法。 这两种技术都允许你编写分支，根据当前的求值是在常量求值（编译时）上下文中还是运行时上下文中而表现不同。差异虽然细微，但非常重要：一个是返回布尔值的函数，另一个是编译器视为仅在编译时检查的特殊 if 语句，编译器会进行特殊处理。 std::is_constant_evaluated() (C++20) 这是一个在 <type_traits> 中声明的函数： #include <type_traits> constexpr bool std::is_constant_evaluated() noexcept; 当当前表达式在常量表达式（编译时）上下文中求值时，该函数返回 true，否则返回 false。 示例： #include <iostream> #include <type_traits> constexpr int …

最近我发现原本的 RSS（/rss、/feed）没有按时更新。 进一步检查后发现这些地址都被 301 重定向到了 FeedBurner（https://feeds.feedburner.com/zhihua-xblog），而 FeedBurner 已经久未维护，偶有抓取失败或延迟，导致读者无法及时收到新文章。 造成这次重定向的原因是我们使用的第三方主题/插件（mytheme）里曾经内置了将站点 feed 转发到 FeedBurner 的功能。 当时之所以做 301 转向，是为了节省服务器带宽并统一订阅链接。 但现在服务器已经升级，带宽与性能不再是主要问题，因此不再需要通过 FeedBurner 做中转。 更糟糕的是，外部订阅器或旧配置在访问 /feed 时被持续重定向到 FeedBurner，如果 FeedBurner 自身抓取不到最新源，就会出现更新停滞或重复重定向的风险，极端情况下甚至可能出现重定向环（redirect loop）。 为了避免订阅丢失或链接异常，我们决定弃用 FeedBurner，并将本站的官方 RSS …

视频：油管/Youtube | B站/小破站 | 微博视频 | 西瓜视频 | 微信视频号 | X/推特 | 小红书 | Facebook 如何证明 √2 是无理数 — 两种方法（反证法与几何无限下降） “√2 是无理数”这一说法的意思是不存在整数 和 且 ，使得 。 方法一 — 反证法 …

Time Is Your Friend: The Power of Delayed Gratification” 最近，比特币又创下历史新高，突破 12.5 万美元。美股同样表现强劲——微软的股价已来到 518.81 美元，而我刚入职那会儿，它还在 280 美元左右。几年时间，几乎翻了一倍。 整个市场似乎都被某种力量推着向前。美元进入贬值周期，除了美元和美债之外，几乎所有资产都在轮番上涨。比特币创新高，黄金逼近 4000 美元/盎司，标普 500 冲上 6700 点。就连常年被忽视的 A 股 和中概股也开始回暖，阿里（抓住了AI这波大模型）、腾讯等龙头公司股价翻倍，主要货币对美元半年内普遍升值超过 10%。 一时间，市场上弥漫着一种“买什么都涨”的气氛。朋友圈里全是收益截图、投资心得，大家似乎都成了股神。可在这种繁荣背后，更多人其实感受到的是焦虑——害怕踏空，害怕错过FEMO，甚至害怕行情太好。越涨越慌，越慌越想冲进去。美元潮汐的力量，让人既兴奋又不安。 市场普遍预期美联储会在接下来的周期中降息，流动性会再次充裕。或许，行情还会继续。但也正因为如此，我们更需要保持清醒。真正的投资从来不是靠追逐短期波动，而是靠时间。 …