如果执行了分支,是否有一种有效的方法来断言constexpr?

您可以添加 static_assert(HasFastGetData<B>) 在呼叫之后 f 或返回 std::pair 包含结果:

方法1

f(obj);
//------------vvvvvvvvvvvvvvvvv--->condition of first branch goes here
static_assert(HasFastGetData<B>); //this makes sure that the first branch if taken 

方法2

您也可以返回 std::对 (或具有合理命名成员的自定义结构)进行检查:

std::pair<int,int> f(auto obj) {
    if constexpr (HasFastGetData<decltype(obj)>) {
        return {1, obj.FastGetData()};
    } else {
        return {0,obj.GetData()};
    }
}
int main() {
    B obj;
    std::pair<int, int> result = f(obj);
    if(result.first){} //first branch taken
    else{} 
    
}

您可以使用GoogleTest,对函数FastGetData()断言EXPECT_CALL。