c++ - 无法将带有 const 参数的函数转换为函数指针？

Question

即使明确提到函数指针中的参数是const，它似乎也不能将函数转换为这种类型:

#include <iostream>

template <typename T>
class Image{};

template <typename TPixel>
static void
FillImage(const Image<TPixel>* const image){}
//FillImage(Image<TPixel>* const image){} // Replacing the above line with this one compiles fine

int main()
{
  typedef Image<float> ImageType;
  ImageType* image = new ImageType;
  void (*autoFunctionPointer)(const decltype(image)) = FillImage;
  autoFunctionPointer(image);
}

谁能解释一下如何让它进行这种转换？

Answer 1

const 应用于指针。

因此，const decltype(image) 等同于 ImageType* const 而不是 const ImageType*

如果你把image改成

const ImageType* image = new ImageType;

FillImage() 的第一个版本按预期工作。

要获得 const ImageType*，您可以使用 std::remove_pointer

#include <type_traits>
...
void (*autoFunctionPointer)(const std::remove_pointer<decltype(image)>::type *) = FillImage;