1

要求：给定复合类型“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>
   >  )

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

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

4

2 回答 2

2

如果，正如你所说，你只是想从一个类型中去除 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]>>);

它可以很容易地扩展为使用成员函数指针、函数或其他东西。

于 2018-08-17T16:43:41.657 回答
0

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

特别感谢圣黑猫先生，他发现了一个缺陷，所以我添加了 '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

Mr Holy Black Cat 解决方案也有效。虽然有些人可能会觉得它有点复杂（我个人认为不是）。

我的解决方案在命名空间中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 (&) []>>);

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

于 2018-08-17T23:50:49.943 回答