我想在用static_assert
实例化时检查以下结构的大小,以约束未命名的struct
是紧密封装的,因此A
的大小等于sizeof(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
放入类定义中不是一个选项带有
sizeof
的static_assert
不会在所有编译器(如Clang)中的未实例化函数内部求值,因此将其放入伪成员函数不是的选项将
static_assert
放在构造函数或析构函数中是一个解决方案,但在上面的例子中,不存在用户定义的构造函数(想想聚合),进一步想象多个构造函数的情况,在这种情况下,我将避免在所有构造函数中执行断言从另一个结构继承
A
,并在A
的定义中对其执行static_assert
将是一个解决方案,但我希望保持结构简单,而不会干扰辅助结构
我还缺少其他解决方案吗?
我决定取消删除这个问题,并保留它以备将来可能的解决方案
一个特殊的成员函数(几乎)可以保证实例化,它是析构函数:
~A() noexcept { static_assert(sizeof(A<T>) == sizeof(T) * 3, "hey something went wrong"); }
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>
>;