PC Toledo

Pessoal, hoje me deparei com essa pagina :

https://pt.wikipedia.org/wiki/Harbour_(compilador)

Que tem o seguinte trecho que nos diz que podemos inicializar variáveis restringindo o tipo delas, conforme o exemplo abaixo :

Código: Selecionar todos


local a as integer, b as character
a = 1
b = 2 //erro em tempo de compilação se a opção de verificação estática de tipos estiver ligada
b = "x"
? a + b //também gerará erro em tempo de compilação

Ele diz que é uma característica que o Harbour pegou do Visual Objects.
Mas fui testar aqui e não funcionou. Queria entender esse novo recurso, se é que ele existe ou se existiu algum dia e foi retirado.

No texto diz : "erro em tempo de compilação se a opção de verificação estática de tipos estiver ligada"
Alguém sabe como ativar essa "verificação estática" ?

Procurei em outros docs mas parece que nem existe isso, ou se existe é um recurso pouco usado. Mas eu penso que esse recurso pode ajudar a programar com uma segurança maior no código.

Alguém já viu isso funcionando ?

Eu não estou sabendo se isso procede. Realmente para mim isso não existe em Harbour.
Nesse link do Wikipédia menciona que ocorre erro em tempo de compilação se a opção de verificação estática de tipos estiver ligada e não orienta qual seria essa configuração de compilação.

O que eu sempre achei é que essa verificação de tipos é feito em tempo de execução e não de compilação. Talvez eu não esteja sabendo, o que seria ótimo saber e dar a conhecer. Em outras linguagens como Java isso sim ocorre. Mas como Harbour é feito em C possivelmente isso possa vir a ter como opção.

Já na versão em inglês: https://en.wikipedia.org/wiki/Harbour_( ... data_types não menciona isso.

Ahh ia esquecendo... onde diz local a as integer em https://pt.wikipedia.org/wiki/Harbour_( ... a_de_Tipos deve ser trocado por:

local a as numeric

Eu corrigi isso no Wikipédia, assim como também na versão em inglês onde mencionava "number" (aff)

Assim funciona:

O harbour aceita essa sintaxe

local a as numeric, b as string

Mas não dá erro de compilação e nem de execução

com

b = 2

Que eu saiba, isso funciona com classe, mas só dá erro em run-time, o que não ajuda.

Mas esse fonte dá erro se compilado com -w3 -es2, porque tem duas atribuições a B, o que torna uma delas inútil.

Olá!

Existe e funciona tanto no Harbour padrão quanto no fork. Ajuda a prevenir vários erros, mesmo funcionando apenas em tempo de compilação. Esta "opção de verificação estática de tipos estiver ligada" se refere às opções de compilação -w3 e -w4. Para funcional tem que usar uma delas na compilação.

Olá Pessoal,

Usando w3 e s2 nem compila. Dá erro na linha das declarações das variáveis locais. Sem s2 compila sem problemas e nada muda, ambas variáveis são de conteúdo numéricos. Usando w4 diz que essa opção (w4) é inválida:

Código: Selecionar todos

Function Main()
  Local a as string, b as numeric
 
  Clear Screen
 
  a=111111111
  b=222222222
 
  ? a
  ? ValType( a )
  ?
  ? b
  ? ValType( b )
  Inkey(0)

Return Nil

O que mencionei:

Código: Selecionar todos

PROCEDURE Main

   LOCAL A AS String

   A := 1
   A := "B"
   ? A
   RETURN

Código: Selecionar todos

d:\temp>hbmk2 test -w3 -es2 -rebuild
hbmk2: Processing environment options: -comp=msvc
hbmk2: Compiling Harbour sources...
Harbour 3.4.0dev (afd46cb) (2016-07-30 10:05)
Copyright (c) 1999-2016, https://github.com/vszakats/harbour-core/
Compiling 'test.prg'...
test.prg(9) Warning W0032  Variable 'A' is assigned but not used in function 'MAIN(5)'

Isso é porque tem A=1 e A="B", um anula o outro, então não tem sentido deixar o primeiro.
O primeiro acaba sendo uma espécie de lixo para o fonte.

Não deu erro a declaração como string, mas não consegui nada extra com ela.

Postei a dúvida no fórum de desenvolvedores. Acho que só quem "meche" diretamente com a linguagem pode tirar essa dúvida.

Postei em Harbour developers, obtive a seguinte resposta abaixo :

Hello,

Harbour only accepts LOCAL A AS Character syntax, but runtime type
checking is not implemented.

Regards,
Mindaugas

PC Toledo

Verificação de tipos (Isso existe ?)

Verificação de tipos (Isso existe ?)

Verificação de tipos (Isso existe ?)

Verificação de tipos (Isso existe ?)

Verificação de tipos (Isso existe ?)

Verificação de tipos (Isso existe ?)

Verificação de tipos (Isso existe ?)

Verificação de tipos (Isso existe ?)

Verificação de tipos (Isso existe ?)

Verificação de tipos (Isso existe ?)