小编Jay*_*sen的帖子

如何在java类方法或构造函数中插入前置条件?

这是我正在参加的java课程.该书提到了先决条件和后置条件,但没有给出任何如何编码它们的例子.它继续讨论断言,我把它断了下来,但我正在做的赋值具体说明插入前置条件并用断言测试前置条件.

任何帮助都会很棒.

java assert design-by-contract preconditions

7
推荐指数
2
解决办法
1万
查看次数

指针麻烦

#include "stdafx.h"
#include <iostream>
#include <vector>
#include <string>

using namespace std;

class Person
{
    public:
    Person();
    Person(string input_name, int input_age);
    void read(string input_name, int input_age);
    void print() const;

    private:
    string name;
    int age;
};

Person::Person()
{
name = " ";
age = 0;
}

Person::Person(string input_name, int input_age)
{
name = input_name;
age = input_age;
}
void Person::read(string input_name, int input_age)
{
name = input_name;
age = input_age;
}

void Person::print() const
{
cout << "Name: " << name << …
Run Code Online (Sandbox Code Playgroud)

c++ pointers class

4
推荐指数
1
解决办法
217
查看次数

这个符号是什么意思:: =?

我正在阅读Joe Celko的书"SQL for Smarties",他使用了一些我不熟悉的符号.在互联网搜索之后,我在Oracle的网站上发现了一些关于它的信息.

他正在使用的符号我不明白是这个:: =

我的搜索信息很少,但我发现的是铁路图的一部分.这是我找到的包含符号的一个文档的链接:

https://docs.oracle.com/cd/E17236_01/epm.1112/esb_tech_ref_1112100/frameset.htm?maxl_bnf_help_symbols.html

以下是本书中的一个例子来描述我在说什么:

< schema element > ::=
< domain definition > | < table definition > | < view definition > 
| < grant statement > | < assertion definition > | < character set definition >
| < collation definition > | < translation definition >
Run Code Online (Sandbox Code Playgroud)

什么是:: =意味着什么?

sql

3
推荐指数
1
解决办法
344
查看次数

标签 统计

assert ×1

c++ ×1

class ×1

design-by-contract ×1

java ×1

pointers ×1

preconditions ×1

sql ×1