noexcept 说明符取决于模板类成员函数

如何解决noexcept 说明符取决于模板类成员函数

在下面的例子中，我有一个通过模板依赖另一个算法的算法。

class absolute_distance
{
    public:
        absolute_distance() noexcept {}
        ~absolute_distance() noexcept {}
        double compute(double x1,double x2) const noexcept { return std::abs(x1 - x2); }
};

template <typename D = absolute_distance>
class Algorithm
{
    private:
        D d;
    public:
        Algorithm() : d() {}
        Algorithm(D const& d_) : d(d_) {}
        ~Algorithm() {}
        double execute(double x1,double x2) const { return this->d.compute(x1,x2) + 1.0; }
};

现在，我想在我的类 Algorithm 的函数上指定 noexcept 说明符。当然，这取决于模板类D的noexcept规范。

对于构造函数来说，很简单，这取决于实际使用的D的构造函数：

Algorithm() noexcept(noexcept(D())) : d() {}
Algorithm(D const& d_) noexcept(noexcept(D(d_))) : d(d_) {}

对于函数 execute 似乎更复杂...由于以下问题，我不知道如何指定 noexcept-ness：我可以写

double execute(double x1,double x2) const noexcept(noexcept(D().compute(x1,x2))) { return this->d.compute(x1,x2) + 1.0; } 

检查函数compute中使用的函数execute的无异常性，但这会检查函数compute和D的构造函数，可能还有D 可以抛出。

有没有办法只检查D::compute的noexcept规范？