c – const指针和const数组的输出

2024年1月9日 216次阅读

当我们有两个运算符输出一个对象和一个这些对象的数组,并尝试输出常量对象的数组时,涉及对象的运算符.有没有办法强制数组操作符使用c数组的常量对象？

示例代码：

#include <iostream>
#include <cstddef>

using std::size_t;

namespace nm
{
  struct C { int i; };

  template <size_t N>
  using c_c_array = C[N];

  inline std::ostream& operator << (std::ostream& lhs,  C const*) { return lhs << "1\n"; }

  template <size_t N>
  inline std::ostream& operator << (std::ostream& lhs,  c_c_array<N> const&) { return lhs << "2\n"; }

}

int main()
{
  nm::C c{1};

  nm::C arr[5];

  nm::C const c_const{1};

  nm::C const arr_const[5] {{1}, {1}, {1}, {1}, {1}};

  std::cout << &c   // 1 - ok
            << arr  // 2 - ok
            << &c_const   // 1 - ok
            << arr_const; // 1 --ups

  return 0;
}

输出：1 2 1 1

另外,在我的情况下,2运算符使用1作为输出.

最佳答案 根据标准草案
N4527 8.5 / p7.3初始化[dcl.init](重点矿)：

  • Otherwise, no initialization is performed.

If a program calls for
the default initialization of an object of a const-qualified type T, T
shall be a class type with a user-provided default constructor.

因此,您必须为C类定义一个默认构造函数,以便解决此问题.

点赞