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

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

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

它对于调试目的很有用。

例子

我有一个简单的 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 ....

最佳答案

您可以使用 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.");

关于c++ - 断言被调用以返回 &(引用)的函数的签名，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/37650099/