如何将通用类方法模板参数限制为某些类型？

Question

我已经检查了 std> std :: enable_if to有条件地编译成员功能

但是对我不起作用。我需要将类方法的t限制为某些类型。

template<typename T = typename enable_if_t<
    is_same_v<T, long> || is_same_v<T, int> || is_same_v<T, double> 
    || is_same_v<T, float> || is_same_v<T, size_t>>
    >
shared_ptr<Node<T>> LinkedList<T>::AddNumbers(
    shared_ptr<Node<T>> p1, shared_ptr<Node<T>> p2, T carry)
{
    <snip>
}

我会得到构建错误：

identifier T is undefined

我正在使用C ++ 20。任何建议和见识都将不胜感激。

---

我尝试概念由@Jejo建议，但是在执行算术的行上获取以下构建错误：

error C2676: binary '/': 'T' does not define this operator or 
a conversion to a type acceptable to the predefined operator

我在.cpp文件中具有模板类声明和实现中的模板类声明。标题文件：

template <typename T> class LinkedList
{
public:
    <snip>
    shared_ptr<Node<T>> AddNumbers(
           shared_ptr<Node<T>>, shared_ptr<Node<T>>, T carry = 0);
};

当我使用@Jejo的建议时，我会碰到

error C3855: 'LinkedList<T>': template parameter 'T' is
             incompatible with the declaration

Answer 1

尽管其他答案说的话，但假设您使用需要，则成员函数并不需要（也不应该）是模板。只有在使用经典的Sfinae时，这是必要的。

#include <cstddef>
#include <iostream>
#include <memory>
#include <type_traits>

template <typename T, typename ...P>
concept one_of = (std::is_same_v<T, P> || ...);

template <typename T>
struct Node {};

template <typename T>
class LinkedList
{
public:
    std::shared_ptr<Node<T>> AddNumbers(std::shared_ptr<Node<T>>, std::shared_ptr<Node<T>>, T carry = 0)
    requires one_of<T, int, long, std::size_t, float, double>
    {
        // ...
    }
};

int main()
{
    LinkedList<int> s;
    s.AddNumbers(nullptr, nullptr, 0);

    LinkedList<char> t;
    // t.AddNumbers(nullptr, nullptr, 0);
}

任何布尔条件都可以在需要之后拼写，但是我添加了一个简洁的概念。