c++ - 断言被调用以返回 & 的函数的签名(引用)

Question

是否可以断言我调用以通过引用返回的函数类型？

断言预计只在编译时发生(但不是必需的)。

它对调试很有用。

例子

我有一个简单的 std::vector<T>封装器如下:-

template<class T> class CustomArray{
    //..... some datastructure ...
    T& get(int index) { ... }
}

某些游戏/业务逻辑可能会使用此类，例如

CustomArray<CreditCard> array ;
//... do some business logic
CreditCard& c= array.get(0);
c.pinNumber = 1403; //modification

pinNumber的修改影响了CustomArray中的值，很好。

如果我团队中有人想使用他自己的数据结构并编辑我的代码，例如

HisCustomArray<CreditCard> array ;
//replace the line : CustomArray<CreditCard> array 

我想要一种自动的弱方法来确保 HisCustomArray::get(int) 始终返回 T& 而不是 T，否则该行将被断开。

 c.pinNumber = 1403;

我希望得到类似于:

CustomArray<CreditCard> array ;
assertReturn_JUST_DUMMY(   array::get(int)  , CreditCard& ); //possible format
//.... other business logic ....

Answer 1

您可以使用 static_assert 和 std::is_reference 来获取您要查找的内容。

例子:

#include <type_traits>

template<class T> class CustomArray{
   public:
    T& get(int index) {return data;}
    T data;
};

template<class T> class HisCustomArray{
   public:
    T get(int index) {return data;}
    T data;
};

struct CreditCard {};

int main()
{
   CustomArray<CreditCard> array1;
   static_assert(std::is_reference<decltype(array1.get(0))>::value,
                 "Need a reference returning function.");
   CreditCard& c1 = array1.get(0);

   HisCustomArray<CreditCard> array2;
   static_assert(std::is_reference<decltype(array2.get(0))>::value,
                 "Need a reference returning function.");
}

编译器在编译时对 array2 进行断言。

来自 g++ 4.8.4 的错误信息:

socc.cc: In function ‘int main()’:
socc.cc:24:4: error: static assertion failed: Need a reference returning function.
    static_assert(std::is_reference<decltype(array2.get(0))>::value, "Need a reference returning function.");