保存宪法

Question

如果类型是指针，const等，我想要一种保存的方法。请参阅以下内容。

template<typename type>
void test(type t) {
    std::cout << "t const? = " << std::is_const<decltype(t)>() << std::endl;
    int x = (int) t;
    std::cout << "x const? = " << std::is_const<decltype(x)>() << std::endl;
};

int main() {
    const int x = 0;
    int y = 0;

    test<const int>(x);
    test<int>(y);
}

>>> t const? = 1
>>> x const? = 0
>>> t const? = 0
>>> x const? = 0

我该如何制作以使函数打印以下内容？换句话说，我如何做到这一点，以便如果模板参数为const，则x也是const？

>>> t const? = 1
>>> x const? = 1
>>> t const? = 0
>>> x const? = 0

我想避免执行以下操作。

// bad
if constexpr (std::is_const<decltype(t)>()) {
    // do const cast
} else {
    // do non const cast
}

我拥有的具体情况是我有一个const或非const void指针，并希望将其施加给具有类型的指针，同时保存构造。

编辑：这是一个糟糕的例子。您可以使用类型X =（类型）T。我想要使​​用类型特征的解决方案，因为这对我来说不是有效的解决方案。

Answer 1

您的示例不是最好说明施放void*的实际问题，可能是const，以相同的constness，因为您可以简单地用type x = t;替换该行以获取所需的输出。

但是，您可以使用一种类型特征：

#include <iostream>
#include <type_traits>

template <typename From,typename To>
struct preserve_const {
    using type = std::remove_const<To>::type;
};

template <typename From,typename To>
struct preserve_const<const From,To> {
    using type = const To;
};

template <typename From,typename To>
using preserve_const_t = typename preserve_const<From,To>::type;

template<typename type>
void test(type t) {
    std::cout << "t const? = " << std::is_const<decltype(t)>() << std::endl;
    preserve_const_t<type,int> x = t;  
    std::cout << "x const? = " << std::is_const<decltype(x)>() << std::endl;
};

int main() {
    const int x = 0;
    int y = 0;

    test<const int>(x);
    test<int>(y);
}

或如评论中提到的，也许更简单：

template <typename type,typename T>
using the_type = std::conditional_t< std::is_const_v<type>,const T,T>;