c++ - 在 C++ 的元编程中保护从非 const-volatile 类型到 const-volatile 的赋值的正确方法是什么？

Question

例如我有一个函数可以实现null_or

template <typename T, typename U>
auto null_or(T *p, U *default_value) ->
    typename std::enable_if<std::is_same<typename std::decay<U>::type,
                                         typename std::decay<T>::type>::value,
                            T *>::type {
  if (p) {
    return p;
  } else {
    return default_value;
  }
}

仅使用 std::decay 将启用 const/volatile type *default_value 分配给 non-const/non-volatile type *p.

避免它的最佳方法是什么？

---

此外，像 type default_value[100] 这样的数组类型(带有范围)不能分配给它。还有怎么解决？

---

可以和不能的例子:

  const char *s = nullptr;
  char       *s2 = nullptr;

  const char *hello0 = "hello0";
  std::string hello1 = "hello1";
  char        hello2[] = "hello2";
  char        hello3[100] = "hello3";
  int         hello4[] = {1,2,3,4,5,0};

  const char *ss = nullptr;

  // const char * ==> const char *, OK
  ss = null_or(s, hello0);
  printf("%s\n", ss);

  // std::string ==> const char *, no conversion at all, Bad
  // ss = null_or(s, hello1);
  // printf("%s\n", ss);

  // char [7] ==> const char *, OK
  ss = null_or(s, hello2);
  printf("%s\n", ss);

  // char [100] ==> const char *, OK
  ss = null_or(s, hello3);
  printf("%s\n", ss);

  // int [6] ==> const char *, Bad
  // ss = null_or(s, hello4);
  // printf("%s\n", ss);

  // const char * ==> char *, const pointer stuffs should not be assigned to non consts, Bad
  // ... also, const reference should not be assigned to non const references for some other generic algorithms
  // ss = null_or(s2, hello0);
  // printf("%s\n", ss);

  // std::string ==> char *, no version at all, Bad
  // ss = null_or(s2, hello1);
  // printf("%s\n", ss);

  // char [7] ==> char *, OK
  ss = null_or(s2, hello2);
  printf("%s\n", ss);

  // char [100] ==> char *, OK
  ss = null_or(s2, hello3);
  printf("%s\n", ss);

  // int [6] ==> char *, Bad
  // ss = null_or(s2, hello4);
  // printf("%s\n", ss);

---

还有许多其他通用算法只需要简单的概念来检查右侧是否可以安全地分配给左侧，所以我想知道是否有更通用的解决方案。

Answer 1

您的示例在需要时已经失败，但根据 null_or 定义。

您可以将声明更改为

template <typename T, typename U>
auto null_or(T *p, U *default_value)
-> typename std::enable_if<std::is_assignable<T*&, U*>::value,
                           T *>::type

SFINAE 那些错误。