5

我有一个非常简单的功能，使用static_assert. 问题是我想了解static_assert函数声明中涉及的行为——特别是推断返回类型。似乎没有任何地方可以插入，static_assert这样我就可以在编译器无法推断出返回类型之前触发它。

到目前为止，我将返回类型推导和静态断言放在一个结构中。这将触发断言，这很好，但它仍然会在类型推导上产生错误，这是我想要消除的噪音。

#include <type_traits>
#include <functional>
#include <memory>
#include <map>
#include <iostream>
#include <string>
#include <cstdio>
#include <tuple>
#include <sstream>
#include <vector>
#include <algorithm>

template<typename T, typename X> struct is_addable {
    template<typename Test, typename Test2> static char test(decltype(*static_cast<Test*>(nullptr) + *static_cast<Test2*>(nullptr))*);
    template<typename Test, typename Test2> static int test(...);
    static const bool value = std::is_same<char, decltype(test<T, X>(nullptr))>::value;
};
template<typename T, typename X> struct is_addable_fail {
    static const bool value = is_addable<T, X>::value;
    static_assert(value, "Must be addable!");
    typedef decltype(*static_cast<T*>(nullptr) + *static_cast<X*>(nullptr)) lvalue_type;
};

template<typename T1, typename T2> auto Add(T1&& t1, T2&& t2) -> typename is_addable_fail<T1, T2>::lvalue_type {
    return std::forward<T1>(t1) + std::forward<T2>(t2);
}

struct f {};

int main() {
    std::cout << Add(std::string("Hello"), std::string(" world!"));
    Add(f(), f());
}
4

2 回答 2

0

这是不可能的，因为候选集的构建方式和 SFINAE。如果您可以在函数的签名完全确定之前断言，那么这将需要您在确定该函数是要使用的函数之前断言。

步骤顺序基本上是：

  • 查找匹配函数
  • 将推导的参数代入函数参数和返回类型。
  • 丢弃那些失败的（SFINAE）
  • 如果剩下一个，就用那个。

你希望断言什么时候触发？

如果您在参数替换期间触发它，那么您将排除 SFINAE，如果您在此之后的任何时间触发它，则返回类型已经确定（为时已晚）。

于 2011-06-27T18:25:02.623 回答
0

虽然我可能会误解这个问题，但像下面这样的 SFINAE 是否符合目的？

template<typename T = int> void Add(...) {
    static_assert(sizeof(T) == 0, "Must be addable!");
}

template<typename T1, typename T2> auto Add(T1&& t1, T2&& t2) ->
  decltype(std::forward<T1>(t1) + std::forward<T2>(t2)) {
    return std::forward<T1>(t1) + std::forward<T2>(t2);
}

这是对ideone的测试。缺点是Add必须重复。

编辑： 虽然我不完全确定这是否严格符合标准，但以下解决方法有帮助吗？（对ideone的测试）

template<typename T1, typename T2> void Add(T1 volatile&&, T2 volatile&&) {
    static_assert(sizeof(T1) == 0, "Must be addable!");
}
于 2011-06-27T22:13:33.763 回答