类成员函数参数列表是否可能依赖于模板参数？

Question

有没有办法编写一个模板类，以便成员函数的签名/原型依赖于模板参数？例如，如果我声明一个类foo 接受一个int N 模板参数，那么成员函数foo::bar() 的原型是否有可能有N 个相同类型的参数？我知道我可以将std::array 或std::vector 作为参数传递，但在应用程序中我认为这行不通。

template <int N>
class foo {
    std::array<float, N> _data;

 public:
    foo()  {};
    ~foo() {};

    void bar(float arg0, float arg1, float arg2 /*, ... */) const;
};

Answer 1

使用 c++17，您可以使用类似 std::enable_if_t 的内容，如下所示

#include <array>
#include <type_traits>

template <int N>
class Foo {
    std::array<float, N> _data;

public:
    explicit Foo( const std::array<float, N> & data): _data{data}{

    }
    template<typename ...Args>
    std::enable_if_t<sizeof...(Args)== N && std::is_same_v<std::common_type_t<Args...>, float>, void> bar(Args ... args) const{

    }
};

int main(){
    std::array<float, 3> data {.1, .3, .6};
    Foo<3> f {data};
    f.bar(data[0],data[1],data[2]);
    f.bar(1.0);//won't compile
    f.bar(1, 2, 3);//won't compile


}