c++ - 为什么 std::modulus 定义为仅适用于整数而不适用于 float

Question

来自 C++ Reference我认为 std::modulus 的定义使其行为类似于(对于 C++11)

template <class T> struct modulus {
   T operator() (const T& x, const T& y) const {return x%y;}
   typedef T first_argument_type;
   typedef T second_argument_type;
   typedef T result_type;
};

这意味着，由于 % 的使用，它只能用于整数。为什么它没有被这样实现，以至于它也可以用于 float ？

也许我没捕获要点，所以非常感谢所有提示。

编辑以回复评论:所以举一个例子，说明我希望使用 float 的例子，它来自 C++ 引用的例子:

// modulus example
#include <iostream>     // std::cout
#include <functional>   // std::modulus, std::bind2nd
#include <algorithm>    // std::transform

int main () {
    float numbers[]={1.,2.,3.,4.,5.};
    float remainders[5];
    std::transform (numbers, numbers+5, remainders,    std::bind2nd(std::modulus<double>(),2.5));
    for (int i=0; i<5; i++)
        std::cout << numbers[i] << " is " <<    (remainders[i]==0?"even":"odd") << '\n';
    return 0;
}

但显然这会导致编译器错误，例如:

error C2296: '%' : illegal, left operand has type 'const double'
1>          C:\Program Files (x86)\Microsoft Visual Studio 10.0\VC\include\xfunctional(69) : while compiling class template member function 'double std::modulus<_Ty>::operator ()(const _Ty &,const _Ty &) const'
1>          with
1>          [
1>              _Ty=double
1>          ]
1>          main.cpp(16) : see reference to class template instantiation 'std::modulus<_Ty>' being compiled
1>          with
1>          [
1>              _Ty=double
1>          ]
1>C:\Program Files (x86)\Microsoft Visual Studio 10.0\VC\include\xfunctional(70): error C2297: '%' : illegal, right operand has type 'const double'

Answer 1

<functional>中的各种函数对象旨在为各种内置运算符提供函数对象。它们无意作为定制点或超出语言定义的范围。自提出以来(我认为是 1995 年)，它们也几乎保持不变。

如果您需要不同的功能，只需创建一个合适的函数对象即可。根据 C++ 的当前定义，其中许多函数对象大多已过时(当需要拼写出函数对象的类型时，它们仍然有用)。例如，无论如何，这段代码可能更具可读性

std::transform(numbers, numbers + 5, remainders,
    [](auto value){ return fmod(value, 2.5); });

...甚至

std::transform(std::begin(numbers), std::end(numbers), std::begin(remainders),
   [](auto value){ return fmod(value, 2.5); });