标签: cpp-core-guidelines

我试图了解如何Ensures()在代码中使用.如示例中所示,如果我尝试使用Ensures()如下...

int main(void)
{
    int result = 0;
    // Some calculation
    Ensures(result == 255);
    return 0;
}

如果result变量不等于255,程序将使用以下输出崩溃"terminate called without an active exception".我的问题是如何Ensures()正确使用？

假设以下代码:

#include <iostream>
#include <vector>
#include <string>

int main() {
    std::vector<std::string> lines;
    lines.push_back("line");
    for (const auto& s : lines) {
        std::cout << s;
    }
}

在for循环的行中,我收到以下警告:

C26493不要使用执行static_cast downcast,const_cast或reinterpret_cast的C样式转换.

有人可以解释这是从哪里来的吗？我使用Visual Studio 2017 Community Edition版本15.2.

我正在浏览CppCoreGuidelines的T.1,并且有以下示例

例1

template<typename T>
    // requires Incrementable<T>
T sum1(vector<T>& v, T s)
{
    for (auto x : v) s += x;
    return s;
}

例2

template<typename T>
    // requires Simple_number<T>
T sum2(vector<T>& v, T s)
{
    for (auto x : v) s = s + x;
    return s;
}

根据上面的指南,这些例子在概念上是不好的,因为它错过了泛化的机会(受限于"可以递增"或"可以添加"的低级概念).

如何表达上述模板才能被称为良好的通用模板？

我习惯于__attribute__((nonnull))在表达不应该为null的指针时使用.

void f(int* ptr __attribute__((nonnull)));

int main(){
    int* ptr = new int(1);
    f(ptr);
}
void f(int* ptr){/*impl*/}

但是,对于GSL,还有not_null<T*>包装类型.
void function1(gsl :: not_null n);

void f(gsl::not_null<int*> n);

int main(){
    int* ptr = new int(1);
    f(ptr);
}
void f(gsl::not_null<int*> n){/*impl*/}

假设有语言设施支持GSL版本,我应该总是not_null<T*>代替__attribute__((nonnull))现在使用吗？

我一直认为编译器属性可能有助于优化,但包装器版本可以解析为未归因的指针.

在他的C++核心指南中,Bjarne Stroustrup建议在通过引用传递数组时使用span.为什么不直接传递一个std :: array对象？

C ++核心准则提到跨度，而不是“跨度”。但是-我看到Microsoft的GSL实现中有一个multi_span类

template <
    typename ValueType,
    std::ptrdiff_t FirstDimension,
    std::ptrdiff_t... RestDimensions
>
class multi_span { ... };

因此，显然这是的某种多维版本gsl::span。但是那是什么意思呢？为什么我们需要这个多维范围，或者更确切地说-我们什么时候使用它？我似乎找不到任何文档。

在微软实施指南支持库中我看到以下代码：

template<class T>
class not_null {
    ...
    template <typename U, typename = std::enable_if_t<std::is_convertible<U, T>::value>>
    constexpr explicit not_null(U&& u) : ptr_(std::forward<U>(u)) {
        Expects(ptr_ != nullptr);
    }
    ...
    constexpr T get() const {
        Ensures(ptr_);
        return ptr_;
    }
    ...
    T ptr_;
}

所有gsl::not_null可能采用指针的构造函数都会检查这些指针是否为空，但我们仍然在每次ptr_取消引用时检查指针 ( ) 的存储值是否为空。鉴于在 C++ 中我们通常不会为不需要的东西付费，为什么我们要进行此检查？

#define GSL_LIKELY(x) (!!(x))
...
#define GSL_CONTRACT_CHECK(type, cond)                         \
(GSL_LIKELY(cond) ? static_cast<void>(0) : gsl::details::terminate())
...
#define Ensures(cond) GSL_CONTRACT_CHECK("Postcondition", cond)