c++17如何写is_pointer_pointer泛型lambda？

Question

auto is_pointer_pointer = [] ( auto arg ) -> bool {
     // implementation here
}

一种方法如何实现这个通用 lambda？

用法示例：

int main ( int argc, char ** argv ) {
     auto dp = is_pointer_pointer(argv) ; // returns true
}

解决方案

感谢@luk32。他的解决方案（又名“答案”）我采用了魔杖盒，并使其更具弹性。代码是here。

解决方案是这个 lambda：

  // return true if argument given is
  // pointer to pointer of it's type T
  // T ** arg
  auto is_pointer_pointer = [&] ( const auto & arg ) constexpr -> bool {
    using arg_type = std::decay_t< decltype(arg) > ;
     return std::is_pointer_v<arg_type> && 
       std::is_pointer_v< std::remove_pointer_t<arg_type> > ;
 };

对于知识的渴求here 是解释带有自动参数的 c++17 通用 lambda 问题的文章。提示：这就是我在上面使用 std::decay 的原因。

Answer 1

在 c++14 中使用 decltype 和 type_traits 设施已经成为可能。

#include <type_traits>
#include <iostream>
using namespace std;


int main() {
  auto is_double_pointer = [] ( auto arg ) -> bool {
    return std::is_same<decltype(arg), double*>::value;
  };

  auto is_pointer_pointer = [] ( auto arg ) -> bool {
    return std::is_pointer<decltype(arg)>::value && 
           std::is_pointer< typename std::remove_pointer<decltype(arg)>::type >::value;
  };


  double d, *ptrd, **ptrptrd;

  std::cout << is_double_pointer(d) << '\n';
  std::cout << is_double_pointer(ptrd) << '\n';
  std::cout << is_double_pointer(ptrptrd) << '\n';
  std::cout << is_pointer_pointer(d) << '\n';
  std::cout << is_pointer_pointer(ptrd) << '\n';
  std::cout << is_pointer_pointer(ptrptrd) << '\n';
  return 0;
}

输出：

0
1
0
0
0
1

编辑：也适用于char** argv;