重载本地 lambda 函数

Question

我有一个与double 和int 输入几乎相同的功能。因此，我重载了这两种类型的函数。不幸的是，在核心，double 和int 变体之间存在差异。目前，我为此依赖于重载的“核心”功能。为了提高可读性，我希望将重载（非常短）的核心函数作为函数本身的一部分，例如使用 lambda 函数。

下面这个例子总结了我目前的布局（当然真正的代码要多一些）。

#include <iostream>
#include <cstdlib>

double func_core ( double a, double b ) {
  return a*b;
}

int func_core ( int a, int b ) {
  if ( a==b )
    return 1.;
  else
    return 0.;
}

template <class T> T func ( T a, T b ) {
  return func_core(a,b);
}

int main ( void ) {
  std::cout << func(10 ,20 ) << std::endl;
  std::cout << func(10.,20.) << std::endl;
  return 0;
}

由于本示例之外的原因，我使用 C++14（与此一致，我使用 clang++ -std=c++14 example.cpp 编译了此示例）。

现在，我想摆脱核心功能（在此示例中为func_core），因为它降低了我的代码的可读性。理想情况下，我想使用在函数本身内重载的lambda 函数。我在下面的示例中总结了我的想法（这不起作用）。

template <class T> T func ( T a, T b ) {
  if ( sizeof(T)==sizeof(int) )
    auto func_core = [](int a,int b){ if (a==b) return 1.; else return 0.; };
  else if ( sizeof(T)==sizeof(double) )
    auto func_core = [](double a,double b){ return a*b; };
  else
    throw std::runtime_error("Overload type not allowed");

  return func_core(a,b);
}

这可以吗？还是我过度拉伸了？

Answer 1

不幸的是，无论是使用 C++11 还是 C++14，您都需要使用 SFINAE 之类的野兽或重载决议来完成您想要的。

但是，在 C++17 中，您可以使用 constexpr if 并将所有所需的功能合并到一个函数模板中：

template<typename T>
 T func (T const &a, T const &b) {
  if constexpr(std::is_integral<T>::value)
    return (a == b)? 1 : 0;
  else
    return a * b;
}

Live Demo

Answer 2

您可以使用type traits

template <class T> T func ( T a, T b ) {
    if (std::is_integral<T>::value)
        if (a==b) return 1;
        else return 0;
    else if (std::is_floating_point<T>::value)
        return a*b;
    else
        throw std::runtime_error("Overload type not allowed");
}

无论如何，我认为最好的方法是避免使用 lambdas 并使用正常的函数重载。