Static 断言实例化时模板类型的大小-解网

问：

我想在实例化时检查以下结构的大小，以约束未命名的紧密打包，因此的大小等效于。static_assertstructAsizeof(T) * 3

template <typename T>
struct A
{
   union
   {
      struct { T a, b, c; };
      T arr[3];
   };
};

这可以通过以下方式完成

static_assert(sizeof(A<T>) == sizeof(T) * 3, "hey something went wrong");

然而

由于在其类定义中仍然是一个不完整的类型，因此将上述内容放入类定义中不是一个选项A<T>static_assert
static_assertwith 不会在所有编译器（如 Clang）中计算未实例化的函数，因此将其放入虚拟成员函数中不是一种选择sizeof
使用构造函数或析构函数将是一个解决方案，但是在上面的示例中不存在用户定义的构造函数（考虑聚合），此外，想象一下多个构造函数的情况，我将避免在所有构造函数中执行断言static_assert
从另一个结构体继承，并在的定义中执行它将是一个解决方案，但我想保持结构简单，而不会弄乱帮助程序结构Astatic_assertA

我错过了任何其他解决方案吗？

我决定取消删除这个问题，并保持开放状态，以便将来可能的解决方案。

C++ 模板 static-assert

namespace my_private_impl{
    struct impl_tag{};
    template <typename T,typename tag>
    struct A_impl{
        static_assert(is_same<tag,impl_tag>{}(),"you evil cheater");
        union{
            struct { T a, b, c; };
            T arr[3];
        };
    };
};

template<typename T>
using A=std::enable_if_t<
    sizeof(my_private_impl::A_impl<T,my_private_impl::impl_tag>) == sizeof(T) * 3,
    my_private_impl::A_impl<T,my_private_impl::impl_tag>
>;

上一个：如何在 Tower 中使用 Git 提交模板

下一个：从函数指针对标准 C++98 中的函数类型参数进行静态推理

Static 断言实例化时模板类型的大小

Static assert the size of a template type on instantiation

评论

评论