为什么我不能static_cast一个包含void *的元组到一个包含char *的元组？

Question

在下面的代码，我想static_cast一个std::tuple<void*, size_t>到std::tuple<char*, size_t>

#include <tuple>

int main() {
  char data[] = {'a', 'b', 'c'};
  size_t data_len = 3;

  const std::tuple<void*, size_t> a{static_cast<void*>(data), data_len};
  const std::tuple<char*, size_t> b =
      static_cast<const std::tuple<char*, size_t>>(a);
  printf("a's first element is %p\n", std::get<0>(a));
  printf("b's first element is %p\n", std::get<0>(b));
}

此代码无法与g++ -std=c++17或clang -std=c++17 （具有最新的GCC和Clang版本）一起编译。 在这两种情况下，编译器均指示无法完成静态转换。 这是来自clang的示例错误：

main.cc:9:13: error: no matching conversion for static_cast from 'const std::tuple<void *, size_t>' (aka 'const tuple<void *, unsigned long>') to 'const std::tuple<char *, size_t>'
      (aka 'const tuple<char *, unsigned long>')
            static_cast<const std::tuple<char*, size_t>>(a);
            ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

考虑到一个void*可以static_cast到char* ，应该不是也有可能static_cast一个std::tuple<void*, size_t>到std::tuple<char*, size_t> 这仅仅是STL设计中的一个疏忽，还是有一些潜在的原因？

我在尝试查找此StackOverflow问题的根本原因时遇到了此问题 。

我要解决的问题是“是的，这很奇怪，您应该向C ++标准委员会发送一封措辞谨慎的电子邮件，建议他们在将来的C ++标准中解决此问题”或“否，这不是想要此功能很有意义，因为X和Y”。

Answer 1

解决此问题的一种方法是提供一个中间类，它可以为您处理从std::tuple<void*, size_t>到std::tuple<char*, size_t>的转换：

class TupleConverter : public std::tuple<char*, size_t> {
public:
  TupleConverter(const std::tuple<void*, size_t>& t) : std::tuple<char*, size_t>(
      static_cast<char*>(std::get<0>(t)), std::get<1>(t)) {}
};

然后，您可以按以下方式使用它：

const std::tuple<char*, size_t> b =
    static_cast<const TupleConverter>(a);