如何在C++20 Concepts中阻止函数参数的隐式转换？

问题描述 #

我尝试用C++20 Concepts为多个类强制实现接口（不想使用纯虚函数），但遇到隐式转换导致不符合要求的代码通过检查的问题。我知道explicit关键字，但它仅适用于构造函数和转换函数。

以下代码可复现该问题：

#include <concepts>
#include <utility>

// 定义接口概念
template<typename T>
concept ImplementsInterface = requires(T obj, int x)
{
    { obj.func(x) } -> std::same_as<int>;
};

// 错误实现：返回类型不符
struct B
{
    double func(int x) // 返回类型为double，不符合接口要求
    {
        return x + 5;
    }
};

// 此处触发编译错误（符合预期）
static_assert(ImplementsInterface<B>);

// 错误实现：参数类型不符
struct C
{
    int func(char x) // 参数类型为char，不符合接口要求
    {
        return x + 6;
    }
};

// 此处未触发编译错误（不符合预期）
static_assert(ImplementsInterface<C>); 

问题核心：C::func(char)通过char到int的隐式转换满足了Concept的调用检查，但我希望static_assert因参数类型不匹配而报错。

解决方案：严格匹配函数签名 #

要阻止隐式转换，需让Concept检查精确匹配函数的参数与返回类型，而非仅检查调用合法性。以下是两种可靠的实现方式：

方法1：直接检查成员函数的精确类型 #

通过检查成员函数指针的类型，确保其签名完全符合接口要求：

#include <concepts>
#include <utility>

template<typename T>
concept ImplementsInterface = 
    requires {
        // 检查非const成员函数的签名是否为int(int)
        requires std::same_as<decltype(&T::func), int(T::*)(int)>;
        
        // 若需支持const成员函数，替换为以下行：
        // requires std::same_as<decltype(&T::func), int(T::*)(int) const>;
    } &&
    // 可选：额外验证函数调用的合法性（函数类型匹配时可省略）
    requires(T obj, int x) {
        { obj.func(x) } -> std::same_as<int>;
    };

这种方式下，struct C的func类型为int(C::*)(char)，与要求的int(T::*)(int)不匹配，会直接触发static_assert的编译错误。

方法2：使用非推导上下文强制精确匹配 #

通过将参数包装为非推导上下文，避免隐式转换被允许：

#include <concepts>
#include <utility>
#include <type_traits>

template<typename T>
concept ImplementsInterface = requires
{
    // 用std::declval生成精确类型的参数，确保调用时无隐式转换
    { std::declval<T>().func(std::declval<int>()) } -> std::same_as<int>;
    
    // 强制检查函数参数类型严格为int
    requires std::same_as<
        typename std::function_traits<decltype(&T::func)>::argument_type,
        int
    >;
};

此方法通过std::function_traits（或手动推导参数类型）确保函数的参数类型严格为int，同时验证返回值类型，彻底杜绝隐式转换的可能。

总结 #

原Concept的问题在于，requires表达式仅验证函数调用的合法性，允许隐式转换参数类型。要实现严格的接口强制，必须直接检查成员函数的精确签名，而非仅依赖调用检查。上述两种方法均可有效阻止隐式转换，确保类完全符合接口的类型要求。

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