Resultados da pesquisa a pedido "type-safety"
Problema de inferência de tipo TypeScript
Estou usando o TypeScript com o driver MongoDB node.js. Observe que essa não é uma pergunta do Mongo, é apenas o caso de uso específico desse problema que estou tendo. Praticamente toda chamada Mongo usa um padrão de(arg1, arg2, ..., ...
O valor implícito ambíguo é a única maneira pela qual queremos que o erro exista no tempo de compilação
trait Foo trait Bar extends Foo def doStuff[T <: Foo](x: T)(implicit ev: T =!:= Foo) = x doStuff(new Foo{}) //ambiguous implicit value doStuff(new Bar)// successfulA resolução implícita está acontecendo no tempo de compilação, então aqui eu acho ...
Em C #, por que um objeto List <string> não pode ser armazenado em uma variável List <object>
Parece que um objeto de lista não pode ser armazenado em uma variável de lista em c # e nem mesmo pode ser explicitamente convertido dessa maneir List<string> sl = new List<string>(); List<object> ol; ol = sl;results em Não é possível converter ...
Por que o guia do idioma Swift sugere o uso de Int "mesmo quando se sabe que os valores não são negativos"?
Esta é uma pergunta sobre o estilo de programação no Swift, especificamenteInt vsUInt. O Guia da Linguagem de Programação Swift aconselha os programadores a usar o tipo inteiro assinado genéricoInt mesmo quando as variáveis são conhecidas ...
Existe um nome para esse padrão? (Segurança de tipo em tempo de compilação C # com argumentos "params" de diferentes tipos)
Existe um nome para esse padrão? Digamos que você queira criar um método que utilize um número variável de argumentos, cada um dos quais deve ser um de um conjunto fixo de tipos (em qualquer ordem ou combinação) e alguns desses tipos sobre os ...
É legal converter um ponteiro para referência de matriz usando static_cast em C ++?
Eu tenho um ponteiroT * pValues que eu gostaria de ver como umT (&values)[N] Nesta resposta SOhttps://stackoverflow.com/a/2634994/239916 [https://stackoverflow.com/a/2634994/239916], a maneira proposta de fazer isso é T (&values)[N] = ...
Essa atribuição de tipo bruto é do tipo segura? Lista <T> = new ArrayList ();
Eu tenho algum código como este: @SuppressWarnings({"unchecked", "rawtypes"}) List<String> theList = new ArrayList();Este tipo é seguro? Eu acho que é seguro porque não atribuo o tipo bruto a mais nada. Eu posso até demonstrar que ele executa ...
typesafe typedef em C ++
Gostaria de usar algo como typedef nos meus programas C ++ para melhorar a segurança do tip Como exemplo, suponha que eu tenha duas funções void function1(unsigned idOfType1); void function2(unsigned idOfType2); então posso erroneamente ...
Genéricos Java: por que someObject.getClass () não retorna Class <? estende T>?
Eu esperaria que, do aspecto do tempo de compilação, bem como do aspecto do tempo de execução, não seria um problema para.getClass() para fornecer um valor de retorno digitado corretamente. Mas devo estar errado. public class _GetClassGenerics2 ...