Eu li o artigo da Wikipedia Tipos existenciais . Concluí que eles são chamados de tipos existenciais por causa do operador existencial (∃). Não tenho certeza de qual é o objetivo disso. Qual é a diferença entre T = ∃X { X a; int f(X); } e T = ∀x { X a; int f(X);
Várias bibliotecas glibc em um único host Meu servidor linux (SLES-8) atualmente possui glibc-2.2.5-235, mas eu tenho um programa que não funciona nesta versão e requer glibc-2.3.3. É possível ter vários glibcs instalados no mesmo host? Este é o erro que recebo quando executo meu programa na...
Em C, não notei nenhum efeito da externpalavra - chave usada antes da declaração da função. No começo, pensei que, ao definir extern int f();um único arquivo , você o implementa fora do escopo do arquivo. No entanto, descobri que ambos: extern int f(); int f() {return 0;} e extern int f()...
Como ponteiros para ponteiros funcionam em C? Quando você os
Eu tenho um controlador em c # usando a estrutura do asp.net MVC public class HomeController:Controller{ public ActionResult Index() { if (Request.IsAjaxRequest()) { //do some ajaxy stuff } return View("Index"); } } Eu recebi algumas dicas sobre zombaria e esperava testar o código com o...
Estou atrás de alguns exemplos simples e práticas recomendadas de como usar expressões regulares no ANSI C. man regex.hnão fornece tanta
Atualmente, essa questão não se encaixa no nosso formato de perguntas e respostas. Esperamos que as respostas sejam apoiadas por fatos, referências ou conhecimentos, mas essa pergunta provavelmente solicitará debates, argumentos, pesquisas ou discussões prolongadas. Se você acha...
Eu tenho uma classe (mas nenhuma instância) e preciso saber se está em conformidade com um determinado protocolo. No entanto, Class pode ser subclassificado várias vezes e class_conformsToProtocol () ignora os protocolos declarados nas superclasses. Eu poderia apenas usar class_getSuperclass () e...
Como posso obter a localização atual do usuário no
Eu preciso na função node.js result = execSync('node -v'); que executará de forma síncrona a linha de comando especificada e retornará todos os valores padrão desse texto de comando. ps. A sincronização está errada. Eu sei. Apenas para uso pessoal. ATUALIZAR Agora temos a solução do mgutz,...
Atualmente, estou em um local público WIFI e não consigo usar o SSH (eles provavelmente bloquearam essa porta). No entanto, preciso dessa conexão para fazer a git push. ➜ ssh -T [email protected] ssh: connect to host github.com port 22: Connection refused É possível contornar essa restrição...
Hoje eu estava ensinando alguns amigos a usar C structs. Um deles perguntou se você pudesse voltar a structpartir de uma função, ao que eu respondi: "Não! Você iria retornar ponteiros para dinamicamente malloced struct. S em vez" Vindo de alguém que faz principalmente C ++, eu esperava não...
Eu tinha uma função que se parecia com isso (mostrando apenas a parte importante): double CompareShifted(const std::vector<uint16_t>& l, const std::vector<uint16_t> &curr, int shift, int shiftY) { ... for(std::size_t i=std::max(0,-shift);i<max;i++) { if ((curr[i] < 479)...
Uma das ações de meus controladores, que está sendo chamada em uma solicitação do Ajax, está retornando uma URL para o lado do cliente para que ele possa fazer um redirecionamento. Estou usando Url.RouteUrl(..)e durante meus testes de unidade isso falha desde que oController.Url parâmetro não está...
Preciso limpar todas as entradas de cache da APC ao implantar uma nova versão do site. O APC.php possui um botão para limpar todos os caches de código de operação, mas não vejo botões para limpar todas as entradas do usuário, todas as entradas do sistema ou todas as entradas por diretório. É...
Procurando entender os fundamentos de onde o termo " vazio " vem e por que ele é chamado de vazio. A intenção da pergunta é ajudar alguém que não tem experiência em C e, de repente, está olhando para uma base de código baseada em
Existe um método que eu possa substituir em minhas classes personalizadas para que, quando NSLog(@"%@", myObject) é chamado, ele imprimirá os campos (ou o que eu julgar importante) do meu objeto? Acho que estou procurando o equivalente em Objective-C do Java
Estou tentando fazer um retorno JSON simples, mas estou tendo problemas com os seguintes itens abaixo. public JsonResult GetEventData() { var data = Event.Find(x => x.ID != 0); return Json(data); } Eu recebo um HTTP 500 com a exceção, como mostrado no título desta pergunta. Eu também...
Qual é a diferença entre ide void
Estou tentando redirecionar para um URL externo a partir de um método de ação, mas não consigo fazê-lo funcionar. Alguém pode lançar alguma luz sobre o meu erro? public void ID(string id) { string url = string.Empty; switch (id) { case "DB2FCB11-579F-4DA2-A68C-A6495B9BAAB5": url =...