4

我在无法修复的非常简单的代码上遇到了一个非常奇怪的错误。

我定义了以下函数对象：

template<const size_t n> class L2Norm {
    public:
            double operator()(const Point<n>& p) {
                /* computes the L2-norm of the point P ... */

            }
            double operator()(const Point<n>& p,
                            const Point<n>& q) {
                    return L2Norm<n>(p-q);
            }
};

在这里，该类Point<n>在之前已经很好地定义了将n点的坐标存储在n维空间中（使用所需的运算符，...）。

我希望p使用Point<5> p. L2Norm<5>(p)但这给了我以下错误：

no matching function for call to ‘L2Norm<5ul>::L2Norm(Point<5ul>&)’
note: candidates are: L2Norm<n>::L2Norm() [with long unsigned int n = 5ul]
note:   candidate expects 0 arguments, 1 provided
note: L2Norm<5ul>::L2Norm(const L2Norm<5ul>&)
note:   no known conversion for argument 1 from ‘Point<5ul>’ to ‘const L2Norm<5ul>&’

我很确定我犯了一个非常愚蠢的错误，但我不知道在哪里！

PS作为一个附带问题，如果我只能说L2Norm(p)并且编译器检测到模板参数会更好，p但据我所知，这是不可能的。我对吗？

4

2 回答 2

7

您需要创建一个实例并调用它的 operator ()。目前您正在尝试调用一个不存在的转换构造函数。

return L2Norm<n>()(p-q); // C++03 and C++11
//              ^^

或者

return L2Norm<n>{}(p-q);  // c++11
//              ^^

顺便说一句，您可能也希望调用操作符const，因为对它们的调用不太可能导致实例的可观察状态发生变化：

template<const size_t n> class L2Norm 
{
 public:
  double operator()(const Point<n>& p) const { .... }
  double operator()(const Point<n>& p, const Point<n>& q) const { .... }
};
于 2013-09-30T10:55:49.973 回答
2

正如@juanchopanza 已经回答的那样，您必须先创建对象：

L2Norm<5>()(p-q);

现在，您甚至可以获得：

L2Norm()(p-q)

使用所谓的“多态函数对象”。通过使用模板创建一个简单的类类型operator()：

class L2Norm {
public:
    template<const size_t n> 
    double operator()(const Point<n>& p) const {
        /* computes the L2-norm of the point P ... */
    }
    template<const size_t n> 
    double operator()(const Point<n>& p,
                      const Point<n>& q) const {
        return operator()(p-q);
    }
};

缺点是你不能使它成为 C++03 的自适应二进制函数，所以它在某些 C++03 算法中不起作用。在 boost 中，如果您提供适当的定义，它会在 C++11 中通过使用decltype.

使用这种技术，您可以消除冗余()：

class {
public:
    template<const size_t n> 
    double operator()(const Point<n>& p) const {
        /* computes the L2-norm of the point P ... */
    }
    template<const size_t n> 
    double operator()(const Point<n>& p,
                      const Point<n>& q) const {
        return operator()(p-q);
    }
} L2Norm;

L2norm(p-q); // Uses the object L2Norm, which has an unnamed type.
于 2013-09-30T11:04:22.160 回答