小编SJP*_*SJP的帖子

我想要一个字符串给出的给定日期以来的月数和天数.

d是日期的字符串

    let dateFormatter = NSDateFormatter()
    dateFormatter.dateFormat = "MM-dd-yy"
    let date = dateFormatter.dateFromString(d)
    startTime = date?.timeIntervalSinceReferenceDate

理想情况下,我会喜欢自该日期以来的月,日,分钟,但是一旦我通过此错误,我将继续工作.编译器抱怨最后一行.

谢谢

我正在编写一个程序,它接收UDP消息并从用户那里获取输入,但是我的STDIN仍在使用select阻止.当我在选择程序运行正常之前FD_CLR stdin fd时,表明stdin套接字总是准备好从中读取数据.我尝试引入一个timeval电视来计时,但这似乎也不起作用.我应该在某个地方关闭套接字还是在不在的地方调用FD_CLR？最终结果应该是非阻塞STDIN,但目前它阻止.谢谢

int
wait_for_input(){
            fd_set fds;
            int maxfd, sd, err, n;
            struct sockaddr_in addr;
            char stdbuf[BUFLEN];
            unsigned char udpbuf[BUFLEN];

            //memset(stdbuf,0x0,sizeof(stdbuf));
            memset(stdbuf,0x0,sizeof(udpbuf));

            sd = socket(AF_INET, SOCK_DGRAM, 0);

            if(sd<0) {
            printf("Failed to Open UDP socket");
            }

            addr.sin_family = AF_INET;
            addr.sin_addr.s_addr = htonl(INADDR_ANY);
            addr.sin_port = htons(host_list[0]->port);
            err = bind(sd,(struct sockaddr *) &addr,sizeof(addr));

            if(err < 0){
                            printf("ERROR: Cant bind port");

            }

                            struct timeval tv;
            while(1){
                            FD_ZERO(&fds);
                            FD_SET(STDIN_FILENO,&fds);
                            FD_SET(sd,&fds);
                            tv.tv_sec = 1;
                            tv.tv_usec = 0;
                            fflush(stdout);
                            select(sd+1,&fds,NULL,NULL,&tv);

                            // If a UDP message arrives
                            if(FD_ISSET(sd,&fds)){ …

关于标准ML编译器,我的问题是,尽管ML本身已经正式定义,可以证明程序的确定性评估,但是编译器本身是用C语言编写的,这是不是正式定义的,至少不是全部的？我想我的问题是我们用标准ML编写一个程序并且可以证明它的正确性,我们怎么知道C编写的编译器没有以可能改变结果的方式执行？

谢谢

简单的说。如果我做了类似的事情

Conn.execute(RAW_SQL) 

sqlalchemy会对此进行清理以防止sql注入还是按字面意思执行它？谢谢