如何编写特征转换以将“const”添加到类型*

Question

是否可以有一个特征来将char* 转换为const char*，以便进一步使用它来调用具有const char* 参数的函数，使用char* 变量？

我有这个（上下文很大，我已经简化了，对丑陋的代码感到抱歉）：

#include <iostream>
using namespace std;
#include <stdio.h>
#include <string.h>
#include <typeinfo>

template<typename T, typename U, std::enable_if_t<std::is_same<T, U>::value, int> = 0>
T convert_type(U _in)
{
    return _in;
}

template<typename T, typename U, std::enable_if_t<std::is_same<T, std::add_lvalue_reference_t<U>>::value, int> = 0>
T& convert_type(U& _in)
{
    return _in;
}

template<typename T, typename U, std::enable_if_t<std::is_same<T, std::add_lvalue_reference_t<std::add_const_t<U>>>::value, int> = 0>
T& convert_type(U& _in)
{
    return _in;
}

template<typename T, typename U, std::enable_if_t<std::is_same<T, std::add_pointer_t<U>>::value, int> = 0>
T convert_type(U& _in)
{
    return std::addressof(_in);
}

int main() {

    char* c = new char[sizeof "test"];
    strcpy(c, "test");

    const char * cc = convert_type<const char *, char *>(c); // here not compilable yet due to lack of the right convert_type specialization

    cout << c;

    delete[] c;
    return 0;
}

为了澄清，我将 SpiderMonkey 嵌入到脚本 Illustrator API 中。这让我编写了相当复杂的代码，但我已经检查过并且我知道上面的转换特征用于各种函数调用。我在这里添加它们只是为了查看方法并阐明添加另一个识别类型并返回所需类型的需要。您所有的 cmets 通常都是正确的，但在我的上下文中并非如此。我可能有一个复杂的代码，但我已经尽可能地简化了。

示例代码here

就我而言，问题尚未得到解答，我也找不到解决方案。我这样提出问题：如何编写一个特征方法来匹配char* 与const char*，即char const*，实际上，当我使用typeid 签入msvc 时，声明为const char* 的类型或变量？

Answer 1

是否可以有一个特征来将char* 转换为const char*，以便进一步使用它来调用具有const char* 参数的函数，使用char* 变量？

正如 cmets 中所指出的，根本不需要进行特征转换，因为 char* 指针可以随时与 const char* 指针同等使用，因为转换是隐式的（对于任何其他输入比char)。

---

注意main() 函数中的行

char * c = "test";

不是有效的 C++ 语法。 "test" 实际上是 const char [5] 类型，您不能合法地将其分配给 const char* 指针以外的其他类型。
至少任何向该指针写入值的尝试都是未定义的行为。

大多数符合 c++11 的编译器都会对该语句发出警告。

---

至于您现在编辑的示例

char* c = new char[sizeof "test"];
strcpy(c, "test");

//const char * cc = convert_type<const char *, char *>(c);

不需要使用convert_type() traits 函数，你可以简单地写（在 cmets 中也提到过）：

const char * cc = c;

Answer 2

（为了“保卫”OP：是的，我也想过简单地添加const，因为const const T 与const T 相同，但是另一方面，我可以想到情况，你有传递一个除此之外什么都不做的类型特征。） 怎么样：

// ordinary way w/o type aliases
template<typename T>
struct const_qualify
{
    typedef const T type;
};

// do this if you have type aliases
template<typename T>
using const_qualify_t = const T;

注意，如果你只是想比较类型，我们现在有 remove_const / remove_cv：http://en.cppreference.com/w/cpp/types/remove_cv

编辑：实际上，我们也有std::add_const<>。

Answer 3

只使用赋值：

const char* cc = c;

（注意char* c = "test" 格式错误）

更明确地说，这绝不是一件坏事，您可以使用标准 C++ 强制转换之一：

auto cc = static_cast<const char*>(c);

---

您的前三个convert_type() 重载基本上是无用的 - 只需使用= 即可轻松替换所有这些。而= 实际上也比您的convert_type() 处理更多案件。

第四个重载应该替换为&（或直接使用std::addressof），真的没有必要隐藏你正在获取地址。当然T* x = &y 比T* x = convert_type<T*>(y) 的含义更容易理解。

Answer 4

最终，我成功了，使用this post：

template<typename T> struct remove_all_const : std::remove_const<T> {};

template<typename T> struct remove_all_const<T*> {
    typedef typename remove_all_const<T>::type *type;
};

template<typename T> struct remove_all_const<T * const> {
    typedef typename remove_all_const<T>::type *type;
};


template<typename T, typename U, std::enable_if_t<std::is_same<typename remove_all_const<T>::type, typename remove_all_const<U>::type>::value, int> = 0>
T convert_type(U& _in)
{
    return _in;
}

给那个帖子求解器一个大的Thank!！