C++中能否创建验证类含任意参数、指定返回值方法的concept？

你代码里用...作为参数占位符的方式在requires表达式中是不允许的——requires要求写出能被编译器解析的具体表达式，而...在这里无法被正确识别。不过要实现“检测类是否存在任意参数的ToString方法且返回值为std::string”的约束，有几种简洁的实现方式：

方案1：纯C++20 Concept实现 #

利用可变参数Concept和嵌套requires子句，直接表达约束逻辑：

#include <string>
#include <concepts>

// 辅助Concept：验证特定参数列表下的ToString是否符合返回值要求
template<typename T, typename... Args>
concept HasValidToString = requires(T instance, Args&&... args) {
    { instance.ToString(std::forward<Args>(args)...) } -> std::same_as<std::string>;
};

// 主Concept：只要存在至少一组参数（包括空参数）满足HasValidToString
template<typename ExaminedType>
concept ConvertibleToStringObject = 
    requires {
        requires HasValidToString<ExaminedType>; // 先检查无参版本
        // 若需要覆盖带参版本，无需额外代码——只要类存在任意参数的ToString，
        // 就会有对应的Args组合让HasValidToString成立
    };

方案2：结合SFINAE的Trait检测 #

如果你需要更好的兼容性（比如和旧代码配合），可以用SFINAE写一个辅助类型特性，再封装成Concept：

#include <string>
#include <type_traits>
#include <concepts>

namespace detail {
    // 尝试匹配任意参数的ToString成员函数，返回true_type如果符合要求
    template<typename T>
    auto test_to_string(int) -> decltype(
        std::declval<T>().ToString(std::declval<void>()...),
        std::is_same<decltype(std::declval<T>().ToString(std::declval<void>()...)), std::string>{}
    );

    // 匹配失败时的 fallback，返回false_type
    template<typename T>
    std::false_type test_to_string(...);
}

template<typename ExaminedType>
concept ConvertibleToStringObject = 
    decltype(detail::test_to_string<ExaminedType>(0))::value;

关键说明 #

• 如果你不需要严格匹配std::string，而是允许返回能转换为std::string的类型（比如const char*），可以把std::same_as换成std::convertible_to<std::string>。
• 两种方案都不限制ToString的参数数量和类型，只要存在至少一个版本的ToString返回std::string即可。

内容的提问来源于stack exchange，提问作者rrrrTTTrrrr