这可能是一个愚蠢的问题,但我可以在没有模板参数的情况下使用requires子句吗?我有以下案例:
演示
#include <concepts>
#include <iostream>
template <typename T>
struct entity {
requires (std::same_as<T, int>)
auto operator=(const entity&) { std::cout << "with T == int" << std::endl; return *this; }
auto operator=(const entity&) { std::cout << "all else" << std::endl; return *this; }
};
我想启用一个基于类模板参数的重载,而不是方法模板参数。我该如何内联和使用概念来实现这一点?
1条答案
按热度按时间nwo49xxi1#
您只需要将
requires
-子句放在成员函数的 parameter-list 之后Demo