如何将任何化合物还原为非化合物类型

How to reduce any compound to non-compound type

本文关键字：化合物 类型 还原 任何      更新时间：2023-10-16

要求：给定复合类型"T"，使用什么非复合类型作为基本类型？

到目前为止，我的尝试是这个模板别名：

template <class T>
using reduce_to_non_compound_t = 
std::remove_all_extents_t< 
std::remove_pointer_t< 
std::remove_cvref_t < T > 
> >;

例如

// array of pointers to string
using arr_of_sp = std::string * (&)[42];
// should pass
static_assert( std::is_same_v<
std::string,
reduce_to_non_compound_t<arr_of_sp>
>  )

测试这一点的许多用例可能非常大。在我进一步讨论这个问题之前，我想问一下是否有人有更好的想法甚至实施？

我在问这样的事情是否合乎逻辑。这就是用例的用武之地。如果它是合乎逻辑的，那么它可以被写出来。

如果，正如你所说，你只是想从类型中删除 cv 限定符、指针、引用和范围，那么你可以使用这个：

template <typename T, typename = void> struct base {using type = std::remove_cv_t<T>;};
template <typename T> using base_t = typename base<T>::type;
template <typename T> struct base<T, std::enable_if_t<std::is_array_v<T>>>
{using type = base_t<std::remove_all_extents_t<T>>;};
template <typename T> struct base<T, std::enable_if_t<std::is_reference_v<T>>> 
{using type = base_t<std::remove_reference_t<T>>;};
template <typename T> struct base<T, std::enable_if_t<std::is_pointer_v<T>>> 
{using type = base_t<std::remove_pointer_t<T>>;};

用法：

static_assert(std::is_same_v<int, base_t<const int *volatile[4]>>);

它可以轻松扩展以使用成员函数指针、函数或其他内容。

我可能会谦虚地报告，我建议的(在问题中(解决方案确实有效。

特别感谢圣黑猫先生，他发现了一个缺陷，所以我添加了"dbj：：remove_all_ptr_t"。现在解决方案现在也适用于双指针、三指针等。

魔杖盒在这里

namespace dbj 
{
template <typename T> struct remove_all_ptr { typedef T type;   };
template <typename T> struct remove_all_ptr<T*> {
using type = typename remove_all_ptr<std::remove_cv_t<T>>::type;
};
template <typename T>
using remove_all_ptr_t = typename remove_all_ptr<T>::type ;
template< class T >
struct remove_cvref {
typedef std::remove_cv_t<std::remove_reference_t<T>> type;
};
template< class T >
using remove_cvref_t = typename remove_cvref<T>::type;
template <class T>
using to_base_t =
remove_all_ptr_t< std::remove_all_extents_t< remove_cvref_t < T > > >;
} // dbj

圣黑猫先生解决方案也有效。虽然有些人可能会觉得它有点复杂(我个人认为不是(。

我的解决方案在命名空间dbj中，他的解决方案在命名空间hbc中。 这是我的快速测试。

// testing
static_assert(std::is_same_v<std::string, hbc::base_t<std::string * (&)[42]>>);
static_assert(std::is_same_v<std::string ,dbj::to_base_t<std::string * (&)[42]>>);
static_assert(std::is_same_v<void (), hbc::base_t<void ()>>);
static_assert(std::is_same_v<void (), dbj::to_base_t<void ()>>);
// 
struct X { char data{}; char method () const { return {};} };
static_assert(std::is_same_v<X, hbc::base_t<X (&) []>>);
static_assert(std::is_same_v<X, dbj::to_base_t<X (&) []>>);
//
using method_t = char (X::*)() ;
static_assert(std::is_same_v<method_t, hbc::base_t< method_t (&) []>>);
static_assert(std::is_same_v<method_t, dbj::to_base_t< method_t (&) []>>);

两种解决方案都通过了上述测试。魔杖盒在这里。 谢谢大家的宝贵讨论。

相关文章：