小编Wei*_* Li的帖子

我知道使用==检查浮点变量的相等性不是一个好方法。但我只想通过以下陈述来了解这一点：

float x = ...

float y = x;

assert(y == x)

既然y是从 复制的x，那么这个断言是真的吗？

我知道在 C++ 中，类头中成员的声明定义了初始化顺序。你能告诉我为什么 C++ 选择这种设计吗？强制初始化顺序而不是遵循初始化列表有什么好处吗？

以下代码可以正常工作：

#include <type_traits>

template <typename> class AddLayer;

template <template <typename> class TLayer>
struct LayerInputPortSet
{
    using type = int;
};

template <>
struct LayerInputPortSet<AddLayer>
{
    using type = float;
};

using type = typename LayerInputPortSet<AddLayer>::type;
static_assert(std::is_same_v<type, float>);

但进行以下修改：

#include <type_traits>

template <typename> class AddLayer;

template <template <typename> class TLayer>
struct LayerInputPortSet
{
    using type = int;
};

template <>
struct LayerInputPortSet<AddLayer>
{
    using type = float;
};

template <template<typename> class TLayer>
struct Sublayer
{
    template <typename TInputs>
    using LayerType = …

对于以下代码：

#include <iostream>

struct Str
{
    Str() { throw 100; }
};

class Cla
{
public:
    Cla()
    try : m_mem() { }
    catch(...)
    {
        std::cout << "Catch block is called"<< std::endl;
    }
private:
    Str m_mem;
};

int main()
{
    Cla obj;
}

我试图在 catch 块中捕获异常。但catch块运行后，系统仍然调用std::terminate来终止程序。我没有在catch块中重新抛出异常，你能告诉我为什么系统崩溃吗？谢谢！

这是对编译器资源管理器的测试：https://godbolt.org/z/74sTcxrY4